Methods and apparatuses for searching content

ABSTRACT

Embodiments of methods and apparatuses for searching contents, including structured search are described herein. Embodiments of the present invention use tree structures (or more generally, graph structures), layout structures, and/or content category information to capture within search results relevant content that would otherwise be missed, to reduce the incidence of false positives within search results, and to improve the accuracy of rankings within search results. Embodiments of the present invention further use tree structures (or more generally, graph structures), layout structures, and/or content category information to extend search results to include sub-document constituents. Embodiments of the present invention also support the use of distribution properties as criteria for ranking search results. And embodiments of the present invention support search based on structural proximity, search expressions with recursively embedded operators, predicates, and/or quantifiers, and applications to selection of advertisements.

RELATED APPLICATION

This application is a continuation-in-part application of U.S. patent application, Ser. No. 12/421,969, filed Apr. 10, 2009, which is a continuation-in-part application of U.S. patent application, Ser. No. 11/761,948, filed Jun. 12, 2007, now U.S. Pat. No. 7,987,169, entitled “METHODS AND APPARATUSES FOR SEARCHING CONTENT,” which is a non-provisional application of provisional application 60/813,246 filed Jun. 12, 2006. This application claims priority to the Ser. No. 12/421,969 non-provisional application, the Ser. No. 11/761,948 non-provisional application, and in turn, the 60/813,246 provisional application. The specifications of the Ser. No. 12/421,969 non-provisional application, the Ser. No. 11/761,948 non-provisional application and the 60/813,246 provisional application are hereby fully incorporated by reference, to the extent they are consistent and support the present specification.

TECHNICAL FIELD

Embodiments of the present invention relate to the field of data processing, in particular, to methods and apparatuses for searching electronic documents.

BACKGROUND

Notwithstanding the significant advances made in the past decades, electronic document technology continues to suffer from a number of disadvantages preventing users from fully realizing the benefits that may flow from advances in computing and related technology.

For example, a Web page that satisfies a given search expression typically includes constituents that do not satisfy the search expression. In many cases, a small proportion of the page's total content will be relevant to the search. If the user's goal is information that corresponds to the search expression, then delivering the entire Web page to the user entails a waste of download bandwidth and a waste of screen real estate. It also presents the user with the task of finding the relevant constituents within the Web page. Highlighting search terms on the page eases this task only slightly. The problem of presenting search results on mobile devices is especially acute.

Standard Web search engines return links to Web pages. Various search engines handle search requests that specify categories or instances of sub-document constituents. These may be called “sub-document” search engines. Some sub-document search engines are limited to returning text constituents. Other sub-document search engines return constituents that belong to non-text categories, but are limited to non-text categories that can be characterized by very simple markup properties. Some sub-document search engines use string-based algorithms to determine which constituents to extract. Other sub-document search engines use tree-based algorithms that examine very simple properties of markup trees. Yet other sub-document search engines support highly expressive languages for specifying constituents. None of these sub-document search engines effectively exploits the inter-relationships of sub-document constituents, as these inter-relationships are reflected in document tree structures (or other document graph structures) and document layout structures.

Various search engines handle search requests that specify proximity relationships. Some search engines are fundamentally limited to string-based proximity relationships. Other search engines recognize constituent boundaries in order to ignore these boundaries. Other search engines recognize when search terms occur within the same constituent. None of these search engines effectively exploits structural proximity relationships that are based on properties of the tree structures (or other graph structures) and layout structures of documents.

Co-occurrences of search terms within documents are evidence that the search terms are mutually relevant. Moreover, relevance is transitive. Current systems use learning algorithms that leverage these principles to enable responses to search requests where in some cases, the response doesn't include any of the words contained in the request. These systems require a learning process.

The very limited download bandwidth and screen real estate associated with mobile devices has motivated the creation of the WAP (Wireless Access Protocol) network. Because building a WAP site is labor intensive, the WAP network remains extremely small, in comparison to the World Wide Web, and has correspondingly less to offer users. For purposes of search, the World Wide Web is a vastly more powerful resource than the WAP network.

Limited download bandwidth and limited screen real estate has also motivated the creation of browsers that reformat HTML files for presentation on mobile devices. These mobile browsers reformat content so that horizontal scrolling is reduced. They may introduce page breaks into tall pages. They may remove or replace references to large files. They may replace fonts. They may offer distinctive user interfaces. Similar functionality is also offered by server transcoders that intercept user requests for HTML files. Such a server transcoder may be applied to reformat Web pages that satisfy search criteria. Current mobile browsers and server transcoders offer at most very rudimentary content extraction facilities, based on limited ranges of simple criteria.

Another limitation of current technology involves false hits for complex search expressions. Suppose that a given Web page contains a constituent N₁ that contains a single occurrence of the term haydn but doesn't contain the term boccherini. Suppose further that the page contains a constituent N₂ that contains a single occurrence of the term boccherini but doesn't contain the term haydn. And suppose that the page contains just this one occurrence of haydn and just this one occurrence of boccherini. Now suppose that a user searches the Web with the intention of finding information that pertains to both haydn and boccherini. While the Web page contains occurrences of both haydn and boccherini, the page may or may not satisfy the user's search request. Whether it does depends in part on the characteristics of N₁ and N₂, and on the relationship of these constituents within the Web page. Current technology is unable to use the correspondence of search expressions to sub-page constituents to reduce the incidence of false hits.

Similarly, current technology is unable to use the correspondence of search expressions to sub-page constituents to produce correct sub-page hits for search expressions with irreducible negation. Suppose that the search expression “haydn and not boccherini” is applied to the Web page described in the preceding paragraph. Constituent N₁ satisfies this expression, but the page as a whole does not. Given that the user's request can be satisfied with sub-page constituents, systems that are limited to returning entire pages will not provide optimal responses.

BRIEF DESCRIPTION OF THE DRAWINGS

Embodiments of the present invention will be described by way of exemplary embodiments, but not limitations, illustrated in the accompanying drawings in which like references denote similar elements, and in which:

FIG. 1 illustrates an overview of the methods and apparatuses of the present invention, in accordance with various embodiments;

FIGS. 2-4 illustrate selected operations of the structured content search engine of FIG. 1, in accordance with various embodiments;

FIG. 5 illustrates an example computer system, suitable for use to facilitate practice of the present invention, in accordance with various embodiments.

DETAILED DESCRIPTION OF ILLUSTRATIVE EMBODIMENTS

Illustrative embodiments of the present invention include but are not limited to content search methods and apparatuses, in particular, content search methods and apparatuses that examine content structures.

Various aspects of the illustrative embodiments will be described using terms commonly employed by those skilled in the art to convey the substance of their work to others skilled in the art. However, it will be apparent to those skilled in the art that alternate embodiments may be practiced with only some of the described aspects. For purposes of explanation, specific numbers, materials, and configurations are set forth in order to provide a thorough understanding of the illustrative embodiments. However, it will be apparent to one skilled in the art that alternate embodiments may be practiced without the specific details. In other instances, well-known features are omitted or simplified in order not to obscure the illustrative embodiments.

Further, various operations will be described as multiple discrete operations, in turn, in a manner that is most helpful in understanding the illustrative embodiments; however, the order of description should not be construed as to imply that these operations are necessarily order dependent. In particular, these operations need not be performed in the order of presentation.

The phrase “in one embodiment” is used repeatedly. The phrase generally does not refer to the same embodiment; however, it may. The terms “comprising,” “having,” and “including” are synonymous, unless the context dictates otherwise. The phrase “A/B” means “A or B”. The phrase “A and/or B” means “(A), (B), or (A and B)”. The phrase “at least one of A, B and C” means “(A), (B), (C), (A and B), (A and C), (B and C) or (A, B and C)”. The phrase “(A) B” means “(B) or (A B)”, that is, A is optional.

The present invention permits the results of searches performed over sets of Web pages or other content to correspond more accurately to users' requests. In various embodiments, searches return relevant document constituents, rather than entire documents. In various embodiments, constituents from documents may be combined in a single display. The present invention thus enables the display of search results on mobile and other devices without wasting download bandwidth and screen real estate on irrelevant Web page constituents. The present invention also permits more accurate results for searches based on combinations of search terms, and provides mechanisms for increasing the accuracy of search results through analysis of search match distributions. Further, the present invention supports content requests that specify content categories, in addition to specifying search expressions to be matched. The present invention's methods and apparatuses can be applied in advance of content-request time, annotating content that can then be cached with its annotations for faster processing at content-request time.

Referring now to FIG. 1, wherein a block diagram illustrating an overview of the content search methods and apparatuses of the present invention, in accordance with various embodiments, is shown. As illustrated, for the embodiments, content request engine 111, incorporated with the teachings of the present invention, controls the processing of user content requests. Content request engine 111 directs one or more document search engines 108 to identify content 106 from a variety of sources 101, including but not limited to applications 102, Web 103, and content databases and caches 104. Document search engines 108 represent a broad category of application that includes, but is not limited to, Web search engines, content management systems, and database management systems. With documents containing desired content identified, content request engine 111 directs one or more document retrieval engines 107 to retrieve documents. In some cases, document search and document retrieval functionality may be combined in a single engine. Content request engine 111 directs retrieved documents to one or more document parsers 112, which provide the tree or other graph structures associated with retrieved documents. Content request engine 111 then directs parsed documents to content search engine 114, incorporated with the teachings of the present invention. In alternate embodiments, web search engines etc. may return documents that have been pre-parsed or equivalently prepared. For these embodiments, content request engine 111 may direct the pre-parsed documents directly to content search engine 114. Content search engine 114 may call string search engine 109 and measurement engine 113 directly, or may access the functionality of these engines through the mediation of content request engine 111, as shown in FIG. 1. Content search engine 114 may access category repository 110 directly, or may access category repository 110 through the mediation of content request engine 111, as shown in FIG. 1. The functionality of one or more of the following may be combined in a single engine: document retrieval engine 107, document search engine 108, string search engine 109, document parser 112, measurement engine 113. Measurement engines 113 provide information related to the intended layout and rendering of retrieved documents and their constituents. In various embodiments of the present invention, the output of the content search engine 114 is provided as a content constituent catalog 115. In various embodiments of the present invention, the content constituent catalog is directed to a content selection engine 116, which works with a layout engine 117 to construct display presentations 118. Content search engine 114 may communicate with content selection engine 116 directly, or through the mediation of content request engine 111, as shown in FIG. 1. While for ease of understanding, the functions performed by content request engine 111 and content search engine 114 are illustrated as distinct components, in practice, their functions may be partitioned and assigned to different smaller modules and/or tasks. Alternatively, they may be combined in a single module. The various modules and/or tasks may be executed as a single thread, or as multiple threads where appropriate. In various embodiments, the execution of document retrieval engine 107, document search engine 108, string search engine 109, content request engine 111, document parser 112, measurement engine 113, content search engines 114, content selection engine 116, and layout engine 118, and the storage of category repository 110, may be on the same system, and in other embodiments, they may be on different systems, e.g. with 107, 109, 111, 112, 113, 114, 116, and 117 on one server, and document search engine 108 on a different server. For these latter embodiments, communication between content request engine 111 and content document search engine 108 may be in accordance with any one of a number of communication protocols, including but not limited to HTTP and/or HTTPS, with or without going through one or more communication modules/layers (where HTTP=Hypertext Transmission Protocol, and HTTPS=Hypertext Transmission Protocol Secured).

In various embodiments, category repository 110, content request engine 111, content search engine 114, content selection engine 116, and layout engine 117, together with document retrieval engine 107, string search engine 109, document parser 112, and measurement engine 113, may be implemented as part of a “larger” product offering. For example, in various embodiments, all nine components 107, 109, 110, 111, 112, 113, 114, 116, and 117 may be implemented as part of a Web search service. In still other embodiments, 107, 108, 109, 110, 111, 112, 113, and 114 may be part of a Web search service, while content selection engine 116 and layout engine 117 may be part of an enhanced Web browser or publishing tool. In still other embodiments, other implementation arrangements may also be possible.

I. Overview and General Observations

Markup files and other content sources are viewed as structured content, in tree, graph or other like forms. Important categories of content sources are intended to be laid out by specific classes of layout engines. For example, HTML files are generally intended to be laid out by browsers whose layout engines conform to W3C standards. For ease of understanding, the invention will be primarily described with markup files and other content sources structured as trees, and content search engine 114 shall also be referred to as structured content search engine 114, however the description should not be read as limiting on the invention. Embodiments of the present invention use tree structures (or more generally, graph structures), layout structures, and content category information to capture within search results relevant content that would otherwise be missed, to reduce the incidence of false positives within search results, and to improve the accuracy of rankings within search results. Embodiments of the present invention further use tree structures (or more generally, graph structures), layout structures, and content category information to extend search results to include sub-document constituents. Embodiments of the present invention also support the use of distribution properties as criteria for ranking search results. And embodiments of the present invention support search based on structural proximity.

In what follows, “structured content search,” “structured search,” and “structure search” will be used interchangeably to refer to embodiments of the present invention.

In what follows, an “atomic search term” is either a quoted string of characters, or a string of characters that doesn't contain a designated delimiter (such as space, period, and quotation mark). In what follows, atomic search terms and search expressions more generally will appear in italics. “Franz Joseph Haydn” and Haydn are examples of atomic search terms. Atomic search terms may include wildcards. A “search expression” may be formed from atomic search terms with various operators, such as the standard conjunction, disjunction, and negation operators. In what follows, AND denotes the standard conjunction operator, OR denotes the standard disjunction operator, and NOT denotes the standard negation operator. Using parentheses for grouping, (haydn AND NOT mozart) OR (boccherini AND pleyel) is an example of a search expression.

In the general case, embodiments of the present invention employ a recursive procedure that calls another recursive procedure, as illustrated in FIGS. 2-3. In various embodiments, the outer procedure walks the parse trees associated with markup or other content, from bottom to top. In various embodiments, these parse trees may be enhanced with information derived from layout structures. In various embodiments, the inner procedure walks the simple parse trees associated with search expressions, also from bottom to top. In various embodiments, the subroutine illustrated in FIG. 2 is part of the structured content request search engine 114 illustrated in FIG. 1. In various embodiments, the subroutine “calculate densities and r-centers for N for all sub-expressions of E” 206 shown in FIG. 2 corresponds to the subroutine illustrated in FIG. 3. In various embodiments, the subroutine “calculate node deviation for E for N” 207 corresponds to the subroutine illustrated in FIG. 4.

To support ranking for search results, embodiments of the present invention define matching as a function that takes a content constituent and a search expression and returns a real number between 0 and 1 inclusive, with 1 corresponding to the best possible match, and 0 corresponding to no match. Taking values between 0 and 1 is a matter of computational convenience. It involves no loss of modeling power. Content constituents may be aggregates of lower content constituents.

Other things being equal, even distributions make for better search matches. When an atomic search term appears within a string, it's of course possible that the string has no relevance to the term. Standard search algorithms proceed on the reasonable assumption that the string is relevant to the term. It's also reasonable to proceed on an assumption that relevance increases with density. Given a fixed size for a string, as the number of occurrences of an atomic search term within the string increases, so does the presumed relevance of the term to the string. Given a fixed number of occurrences of an atomic search terms, as the length of the string containing the occurrences increases, the presumed relevance of the term to the string decreases.

This reflects a slightly deeper principle. It's reasonable to proceed on an assumption that as distance from an occurrence of an atomic search term increases, relevance to the search term decreases. Relevance doesn't correspond to a function that takes maximum value on hits, and value zero everywhere else. Instead, it displays a sort of quasi-continuity.

Suppose that two strings S₁ and S₂ each contain 1000 words, and that these two strings each contain 9 occurrences of the atomic search term haydn. In S₁, the 9 occurrences of haydn are all contained in a substring S_(1,1) that's begins at word position 807 and ends at word position 883. In S₂, the 9 occurrences of haydn are at word positions 99, 202, 301, 397, 499, 601, 706, 798, and 899. It's reasonable to proceed on an assumption that S_(1,1) is highly relevant to haydn, and that S₂ as a whole is more relevant to haydn than is S₁ as a whole. The even distribution of haydn within S₂ guarantees that no part of S₂ is more than 105 words away from an occurrence of haydn, while the entire first half of S₁ is more than 300 words away from any occurrence of haydn. It's reasonable to proceed on an assumption that most of S₁ has little relevance to haydn. While the primary goal of search is the delivery of relevant content, it's an important secondary goal to avoid the delivery of irrelevant content. These goals are somewhat at odds in the case of S₁. S₁ is definitely a valid result for a search for haydn, but its presumed inclusion of irrelevant material lowers its ranking.

These observations generalize from strings to content constituents, and from atomic search terms to search expressions. Within a content constituent, relevance to a search expression decreases with distance from direct matches. Overall relevance to a search expression for a content constituent increases with match density. Overall relevance to a search expression for a content constituent increases as the match distribution becomes more even.

While the term “structural proximity” refers to the use of tree structures and layout structures, the relevant methods also apply to strings.

Various well-known algorithms support string-based proximity as a search criterion. However, prior algorithms do not adequately capture the principle that relevance decreases as distance increases. For example, if a user requests texts that contain an occurrence of haydn within 5 words of an occurrence of boccherini, the prior art response would exclude a text that's 100 words long that contains occurrences of haydn at word positions 5, 20, 41, 59, 79, and 93, and that contains occurrences of boccherini at word positions 12, 30, 51, and 72. However, it's very likely that this text is relevant to both haydn and boccherini. Further, it's very likely that this text relates haydn and boccherini. If a user seeks information that relates haydn and boccherini, a search that misses this text is inadequate. The text can be included in a response to a request for texts that contain an occurrence of haydn within 7 words of an occurrence of boccherini, but such a request will miss texts with similar distribution patterns where the occurrences of haydn and boccherini are a little farther apart. In addition to the problems associated with fixed proximity thresholds, prior algorithms don't take adequate account of density and distribution within strings, and don't take advantage of tree structures (or more generally, graph structures), layout structures, and content category information.

In what follows, “##” will indicate a structural proximity operator. haydn ## boccherini is an example of a search expression with the structural proximity operator.

Given that the structural proximity operator is available, it makes sense to also provide classical logical operators. Thus a content constituent matches haydn AND boccherini if and only if it matches both haydn and boccherini. Negation and disjunction may likewise be interpreted a strictly classical sense. Search expressions may be constructed recursively with structural proximity and other operators. For example, (haydn AND NOT pleyel) ## (mozart OR boccherini) requests constituents in which a sub-constituent (not necessarily a proper sub-constituent) that matches haydn but does not match pleyel is in structural proximity to a sub-constituent (not necessarily a proper sub-constituent) that matches at least one of mozart and boccherini. Structural proximity (##) is scalar-valued, while classical conjunction (NOT), disjunction (OR), and negation (NOT) are boolean-valued.

An analog of the negation operator for structural proximity may be introduced. This will be called the “structural proximity complement” operator and indicated as “˜” in what follows. An analog of the disjunction operator for structural proximity may also be introduced. This will be called the “structural proximity disjunction” operator and indicated as %% in what follows. The structural proximity operator, ##, may be alternatively referred to as the “structural proximity conjunction” operator, to emphasize its distinctness from the structural proximity complement operator and the structural proximity disjunction operator.

According to various embodiments of the present invention, for instances of classical, boolean-valued operators (AND, OR, NOT) directly embedded under scalar-valued operators (##, % %, ˜) in search expressions, a value of true is converted to a scalar value of 1, and a value of false is converted to a scalar value of 0. According to various embodiments, for instances of scalar-valued operators directly embedded under boolean-valued operators in search expressions, values greater than 0 are converted to true, and values of 0 are converted to false. Search requests may also include various scalar-valued (fuzzy) logical operators. For example, search requests may include operators which will be denoted here as &&, ∥and !. If the scores of E₁ and E₂ on a content constituent N are respectively s₁ and s₂, then the score on N of E₁ && E₂ is the minimum of s₁ and s₂, the score on N of E₁∥E₂ is the maximum of s₁ and s₂, and the score on N of !E₁ is (1−s₁). If a Boolean-valued expression E is embedded under a scalar-valued operator, then a value for E of true is converted to a scalar value of 1, and a value for E of false is converted to a scalar value of 0.

In generalizing from classic search to structural proximity search, and in generalizing from search on strings to search on trees and layout structures, the concept of search match shifts. Various embodiments of the present invention offer alternative revised concepts of search match. As it turns out, the revised concepts provide a foundation for improved results for search on strings. The classic concept of search focuses exclusively on the direct matches found within content constituents. But no word within a string can be a direct match for an expression such as haydn ## boccherini. And no paragraph within a constituent that comprises multiple paragraphs will be a perfect match for haydn (excepting the unlikely event that some paragraph consists entirely of occurrences of haydn). According to various embodiments of the present invention, all sub-constituents of a content constituent N figure in evaluations of search expressions on N. According to other embodiments of the present invention, in evaluations of search expressions on a content constituent N, direct search matches correspond in some cases to structures of sub-constituents of N.

II. Atomic Search within Strings

A. Assignment of Relevance Values to Words

Given an atomic search term E, and given a string S, embodiments of the present invention assign a “relevance value” (“r-value” or simply “value”) to each word in S according to the following conditions: (i) if S contains no occurrences of E, then each word in the string (corresponding to a position in the string) is assigned an r-value of 0; (ii) if S contains at least one occurrence of E, then for any word W in S, the r-value assigned to W is Σ_(1≦i≦k) (1/(1+d_(i))^(x)), where k is the number of occurrences of E in S, where x (the “distance attenuation exponent”) is a positive real number, and where d_(i) is the distance in words between W and the i-th occurrence of E, the distance between a pair of adjacent words taken as 1, and so on. The distance between a word W and an occurrence of an atomic search term E that comprises more than one word is the maximum of the distances between W and the words in E.

Embodiments of the present invention proceed to normalize r-values assigned to words so that these r-values lie between 0 and 1 inclusive—the r-value assigned to W according to paragraph 0038 above is divided by Σ_(1≦1≦n) (1/(1+d_(i))^(x)), where n is the number of words in S, where x is the attenuation exponent, and where d_(i) is the distance between W and the i-th word of S. Note that prior art includes methods for calculating or estimating these normalization factors with closed forms.

Various embodiments of the invention use various distance attenuation exponents. A distance attenuation exponent of 1 gives reasonable results. Alternative embodiments of the invention measure distances within strings in characters, rather than in words.

According to alternative embodiments of the invention, the distance between a word W and an occurrence of an atomic search term E that comprises more than one word is the minimum of the distances between W and the words in E. According to other alternative embodiments of the invention, the distance between a word W and an occurrence of an atomic search term E that comprises more than one word is the arithmetic mean of the distances between W and the words in E.

According to alternative embodiments of the invention, given an atomic search term E, and given a string S, a r-value is assigned to each word in S according to the following conditions: (i) if S contains no occurrences of E, then each word in the string is assigned a r-value of 0; (ii) if S contains at least one occurrence of E, then for any word W in S, the r-value assigned to W is the 1/(L^(x)), where L is the length in words of the shortest substring of S that contains both W and an occurrence of E, and where x is a positive real number.

According to alternative embodiments of the invention, distances computed in accordance with paragraph 0038, or lengths computed in accordance with paragraph 0042, are calculated in terms of characters, rather than in terms of words.

B. Density

Embodiments of the present invention capture the density of matches for atomic search expression E in string S as the arithmetic mean of the r-values assigned to the words in S.

Alternative embodiments of the present invention capture the density of matches for atomic search expression E in string S as the median, or as the geometric mean, of the r-values assigned to the words in S.

C. Distribution

Given D as the arithmetic mean of the r-values assigned to the words of string S for search expression E, embodiments of the present invention proceed to capture the distribution of E in S in terms of the absolute average deviation (“AAD”) from D of the r-values assigned to the words in S. For a content node that corresponds to a string, the “node deviation” of the node is this absolute average deviation. Because r-values assigned to words are non-negative, the ratio AAD/D cannot exceed 2. Embodiments of the present invention define the “distribution score” function Δ so that Δ=1 if D=0 and Δ=1−AAD/(2*D) if D≠0. A will take values between 0 and 1. A high value for Δ indicates an even distribution of E in S. A low value for Δ indicates an uneven distribution of E in S. In alternative embodiments of the present invention, Δ=0 if D=0.

In alternative embodiments of the present invention, median absolute deviation, or standard deviation, or variance, may be used in placed of average absolute deviation in evaluating evenness of distributions. The characterization of distributions may be refined in terms of higher moments.

D. Relevance Center

Embodiments of the present invention capture the “relevance center” (“r-center”) of occurrences of E in S according to the following formula: (Σ_(1≦i≦n) (v_(i)*i))/(Σ_(1≦i≦n) v_(i)), where n is the number of words in S, and where v_(i) is the r-value assigned to the i-th word, with the first word in the string counting as the 1^(st) word, rather than the 0-th word, and so on.

In various embodiments of the present invention, the r-values assigned to words for purposes of calculating the relevance center may use a distance attenuation exponent that differs from the distance attenuation exponent that's used to assign r-values to words for purposes of calculating density and distribution.

Alternative embodiments of the present invention capture the relevance center of occurrences of E in S according to the following formula: (Σ_(1≦i≦k) p_(i))/k, where k is the number of occurrences of E in S, and where p_(i) is the position of the i-th occurrence of E, with the position of the first word in S counting as 1, and so on.

E. Overall Score

Embodiments of the present invention assign an overall score for S as a match for E according the following formula: c₁*D+c₂*Δ, where D is density as defined in paragraph 0044, where Δ is as defined in paragraph 0046, and where c1 and c2 are positive real numbers such that c₁+c₂≦1. Note that 0≦D≦1 and 0≦Δ≦1, so 0≦(c₁*D+c₂*Δ)≦1. The values of c₁ and c₂ can be tuned as desired to adjust the relative importance of density and distribution in judging the relevance of S for E. Note that in ranking search results, properties in addition to D and Δ, such as string size, may be taken into account. The relative importance of these additional properties can be tuned as desired by ensuring that each property P takes values between 0 and 1, and using a formula of the form Σ_(1≦i≦m)(c_(i)*P_(i)), where there's a total of m properties and where Σ_(1≦i≦m)c_(i)≦1, to calculate overall score.

III. Structural Proximity Search Over Strings

A. Assignment of r-Values to Words

Note that proximity cannot be deduced from densities and r-centers. Suppose that in string S₁, occurrences of haydn are concentrated at the beginning and at the end of the string, while occurrences of boccherini are concentrated at the middle of the string. In string S₂, occurrences of both haydn and boccherini are concentrated at the middle of the string. S₁ and S₂ may have nearly identical densities and r-centers for haydn, and may have nearly identical densities and r-centers for boccherini, while the proximity of haydn and boccherini is much greater for S₂ than for S₁.

Given search expression E₁ ## E₂ ## . . . ## E_(m), where E₁ . . . E_(m) are search expressions, and given a string S, embodiments of the present invention assign a r-value to each word in S according to the following conditions: (i) if for some i, 1≦i≦m, the r-value of E_(i) is 0, then each word in the string is assigned a r-value of 0 for E₁ ## E₂ ## . . . ## E_(m); (ii) if S contains at least one occurrence each of E₁, . . . , E_(m), then for any word W in S, the r-value assigned to W is the geometric mean of the r-values assigned to W for E₁, . . . , E_(m).

In alternative embodiments of the invention, the r-value assigned to W for case (ii) in accordance with paragraph 0053 is the arithmetic mean of the r-values assigned to W for E₁, . . . , E_(m). In other alternative embodiments of the invention, the r-value assigned to W is the minimum of the r-values assigned to W for E₁, . . . , E_(m). In the discussion that follows, unless stated otherwise, it's assumed that the r-value assigned to W is the geometric mean of the r-values assigned to W for E₁, . . . , E_(m).

In alternative embodiments of the present invention, condition (i) in accordance with paragraph 0053 is omitted and condition (ii) uses some function other than the geometric mean. According to these embodiments, S can match haydn ## boccherini even if it doesn't match haydn.

Given search expression E₁ %% E₂ %% . . . %% E_(m), where E₁ . . . E_(m) are search expressions, and given a string S, embodiments of the present invention assign a r-value to each word W in S according to the following condition: the r-value assigned to W is the maximum of the r-values assigned to W for E₁, . . . , E_(m).

Given search expression ˜E, where E is a search expression, and given a string S, embodiments of the present invention assign a r-value to each word W in S according to the following condition: the r-value assigned to W is 1 minus the r-value assigned to W for E.

Note that neither ## nor %% is an associative operator. Thus in general, E₁ ## (E₂ ## E₃) and (E₁ ## E₂) ## E₃ will assign different r-values to words. Further, in general E₁ ## E₂ ## E₃ will assign r-values to words differently than either E₁ ## (E₂ ## E₃) or (E₁ ## E₂) ## E₃.

Note further that by these definitions, assignment of r-values to words for a complex search expressions proceeds recursively over the constituents of the search expression, from bottom to top.

B. Virtual Matches for Structural Proximity Search

Suppose E₁ and E₂ are atomic search terms. If E₁ has k₁ occurrences in S, and E₂ has k₂ occurrences in S, consider the k₁*k₂ distinct pairs formed by taking an occurrence of E₁ as the first member of the pair and an occurrence of E₂ as the second member of the pair. In alternative embodiments of the present invention, each of these pairs is taken as a “virtual match” for E₁ ## E₂. Similarly, virtual matches for E₁ ## E₂ ## . . . ## E_(m), where E₁, . . . E_(m) are atomic search terms, are taken as m-tuples of occurrences, where the i-th member of such an m-tuple is an occurrence of E_(i).

For E₁ ## (E₂ ## E₃), where E₁, E₂, and E₃ are atomic search terms, consider the distinct pairs formed by taking an occurrence of E₁ as the first member of the pair, and a virtual match for E₁ ## E₂, as defined in the preceding paragraph, as the second member of the pair. In embodiments of the present invention, each of these pairs is taken as a virtual match for E₁ ## (E₂ ## E₃). Virtual matches for arbitrarily complex search expressions built up from atomic search terms through applications of ## are defined in similar fashion.

Embodiments of the present invention identify the position of a virtual match with its relevance center. Embodiments of the present invention also assign “weights” to virtual matches. Weights assigned to virtual matches compare with weights of 1 that are assigned to occurrences of atomic search terms.

Embodiments of the present invention assign a relevance center (“r-center”) to a tuple that's a virtual match for E₁ ## E₂ ## . . . ## E_(m), where E₁, . . . , E_(m) are atomic search terms, according to the formula (Σ_(1≦i≦m) p_(i))/m, where p_(i) is the position of the i-th member of the virtual match, with the position of the first word in S counting as 1, and so on.

Embodiments of the present invention assign a weight to a tuple that's a virtual match for E₁ ## E₂ ## . . . ## E_(m), where E₁, . . . , E_(m) are atomic search terms, as Σ_(1<i≦m)(1/(1+d_(i))^(x)), where x (the “distance attenuation exponent”) is a positive real number, and where d_(i) is the distance from the i-th member of the virtual match to the r-center of the virtual match.

For E₁ ## E₂ ## . . . ## E_(m), where E₁, . . . E_(m) are search expressions built up from atomic search terms through applications of ##, embodiments of the present invention assign a relevance center to a tuple that's a virtual match for E₁ ## E₂ ## . . . ## E_(m) as (Σ_(1≦i≦m)(w_(i)*p_(i)))/(Σ_(1≦i≦m)(w_(i))), where w_(i) is the weight assigned to the i-th member of the virtual match, and where p_(i) is the r-center of the i-th member of the virtual match, with the position of the first word in S counting as 1, and so on.

Embodiments of the present invention assign a weight to a tuple that's a virtual match for E₁ ## E₂ ## . . . ## E_(m) as Σ_(1≦i≦m)(w_(i)/(1+d_(i))^(x)), where x is the distance attenuation exponent, where w_(i) is the weight assigned to the i-th member of the virtual match, and where d_(i) is the distance from the i-th member of the virtual match to the r-center of the virtual match.

Note that by these definitions, assignments of r-centers and weights to virtual matches for search expressions proceed recursively over the constituents of search expressions, from bottom to top. For a given search expression constituent and a given virtual match for the search expression, first its r-center is calculated, based on the r-centers and weights of its immediate sub-constituents. Then the weight of the given search expression constituent is calculated, based on its r-center and the weights of its immediate sub-constituents.

Embodiments of the present invention assimilate virtual matches and occurrences of atomic search terms. Virtual matches may be treated with methods of the present invention that apply to occurrences of atomic search terms. They may also be treated according to prior art methods that apply to occurrences of atomic search terms.

Embodiments of the present invention calculate densities, relevance centers, distributions, and overall scores based on virtual matches. In the embodiments of the present invention that are described below, densities, relevance centers, distributions, and overall scores are calculated on the basis of assignments of r-values, as described in paragraphs 0052-0059 above and paragraphs 0085-0098 below.

Alternative embodiments of the present invention evaluate a string S as a match for atomic search term E by evaluating S as a match for E ## E. Other alternative embodiments evaluate a string S as match for atomic search term E by evaluating S as a match for other search expressions composed from E and ##.

C. Density, Relevance Center, Distribution, Overall Score

Once r-values are assigned to words for a search expression that's built from atomic search terms with structural proximity operators, embodiments of the present invention calculate densities, distributions, relevance centers, and overall scores as in paragraphs 0044-0051.

IV. Search within Higher Content Constituents

As noted in paragraph 0025, embodiments of the present invention walk the parse trees associated with markup or other content from bottom to top. Alternative embodiments walk trees according to other orderings of tree constituents. Applicable content includes but is not limited to Web pages, XML documents, text documents, and database records and other database structures. In what follows, constituents of these parse trees will be called “content constituents.”

A. Information from Layout Structures

Embodiments of the present invention use information derived from layout structures to supplement the parse trees associated with content. In particular, embodiments of the present information annotate nodes of the parse tree with measurement information. Measurement engine 113 in FIG. 1 is a module that provides measurement information. Web browser layout modules provide measurement engine functionality. Measurement information includes, but isn't limited to, width and height, horizontal and vertical position, length in characters (for texts), and size of referenced file (for images, videos, and so on). Some measurement information is readily available. Text lengths are apparent in the tree itself. Widths and heights may be specified as node attributes, in pixels or in other units. The size of a file can be obtained by downloading the file. However, other potentially useful measurement information requires non-trivial computation. For HTML files, browser rendering engines compute constituent dimensions and positions. While browser rendering engines mostly incorporate the same standards, they yield different measurement results in some cases. And some measurement results depend on such properties of the client as screen resolution, window width, window height, and browser text size setting. These dependencies may be overt, as when a constituent width is specified (perhaps indirectly) as a percentage of window width. Scripts may affect constituent measurements. Despite these challenges, it's still practical to derive a useful range of measurement results. If the relevant modules of a browser rendering engine are available, these modules can be called as needed. Cross-browser inconsistencies will be largely insignificant for purposes of content search. Short of having an engine that fully incorporates DHTML rendering standards, lightweight modules can estimate constituent measurements. For example, the area of a text component may be roughly estimated based on font and text length. The measurement information that's most useful for content extraction purposes tends involve low-level constituents. To a great extent, measurements of these constituents are invariant, or vary relatively little, as client display parameters vary.

In addition, embodiments of the present invention insert “virtual constituents” into parse trees. Some documents include constituents that are far apart in the parsed structure for the document, but near each other in the window (or printed page) when the document is rendered. For example, an HTML Web page may contain article text in a table cell, while a captioned image that's associated with the article is in a table cell belonging to a different table, with the two tables having no common ancestor below the body constituent, and with each of these two tables having multiple levels of ancestor intervening between it and the body constituent. Yet in this example, the captioned image is rendered to the immediate right of the article text. Embodiments of the present invention posit virtual constituents that contain constituents of the parse tree as sub-constituents. For the article example just described, an article constituent is posited that includes both the article text and the captioned image. Embodiments of the present invention insert virtual constituents into the parse tree under the root of the parse tree, or elsewhere. Sub-constituents of virtual constituents are then deleted from their original positions in the parse tree. In alternative embodiments, immediate sub-constituents of virtual constituents retain their original parents in the parse tree. In these embodiments, virtual constituents are inserted in what becomes (if it is not already) a directed acylic graph that is not a tree, with some nodes having multiple parents. In other alternative embodiments, an “deduced semantic tree” is built as a data structure distinct from the markup parse tree. Nodes of the deduced semantic tree correspond to instances of content categories, where articles, captioned images, and captions are examples of content categories. In these embodiments, while markup parse trees and deduced semantic trees are distinct, nodes of deduced semantic trees may be annotated with pointers to nodes of markup parse trees, and vice-versa.

B. Geometry of Relevance

A markup file that is intended to be laid out by a specific class of layout engines typically has a string structure, a tree structure, and a layout structure. Other tree-based content sources at least have string structures and tree structures. In determining the degree to which a content constituent N matches a search expression E, embodiments of the present invention assign relative sizes to the children of N, assign relative distances between the children of N, and correlate distances within the children of N with distances between the children of N. These assignments of sizes and distances capture what may be called a “geometry of relevance.” The relative sizes of children of N influence the relative degree to which children's matches for E affect N's match for E. The relative distances between children of N affect matches for structural proximity, and affect the evenness of match distributions. In the discussion that follows, an assignment of size for purposes of determining relevance will be called a “relevance size” or “r-size,” and an assignment of distance for purposes of determining relevance will be called a “relevance distance” or “r-distance.” In the interest of clarity, the discussion below separates the determination of r-distances from the treatment of how relevance attenuates with r-distance. Thus the attenuation function isn't built into the definition of r-distance. For example, distance in words may count as r-distance within a string, while mutual relevance may be considered to vary inversely with r-distance.

String structures, tree structures, and layout structures may suggest very different relative sizes of constituents in particular cases, and may suggest very different relative distances between constituents in particular cases. For example, for text laid out in columns, the last word in the leftmost column is adjacent to the first word in the next column in string structure, but these two words are far from adjacent in layout. For another example, an image that occupies a large area in layout may correspond to a very small substring of the terminal string of a markup file (whether or not the image node has an attribute similar to HTML ALT, with a value that's subject to string search). For another example, two words that are separated by 20 words in the terminal string of an HTML file, where 10 of these words correspond to end tags and the other 10 correspond to simple start tags, are much farther apart in tree structure than are two words with a common TEXT parent that are separated by 20 words.

Embodiments of the present invention assign r-sizes and r-distances in a bottom-up traversal of the parse tree, where the parse tree has been annotated with measurement information, and where virtual constituents have possibly been inserted, as discussed in paragraph 0074 above. Alternative embodiments assign r-sizes and r-distances in a bottom-up traversal of the deduced semantic tree, where the deduced semantic tree has been constructed as discussed in paragraph 0074 above. Embodiments of the present invention assign r-sizes and r-distances, and also calculate match densities, match r-centers, match distributions, and match scores, in a single bottom-up traversal of the enhanced parse tree, or in a single bottom-up traversal of the deduced semantic tree. Alternative embodiments walk trees according to other orderings of tree constituents.

In an ideally simple scenario, the terminal nodes of the enhanced parse tree are texts and graphics. All texts use the same font. The sizes of texts correspond to their word counts. The relative sizes of texts and graphics are determined by a fixed conversion factor c, so that a text with n words is counted as the same r-size as a graphic with a rendered area of c*n square pixels. The r-size of a non-terminal node is the sum of the r-sizes of its children. Graphics are considered to have a single internal position. Every word of a string is considered to be a position within the string. Given a pre-terminal node N that dominates some text nodes and some graphic nodes, for purposes of calculating r-distances between positions in child nodes, the child nodes are considered to be concatenated together from left to right, with a graphic with area A counting for the same distance as A/c words. For example, suppose that N's children in left-to-right order are a text node with 500 words, a graphic with area of 20,000 square pixels, and a text node with 1000 words. Suppose further than 20,000 pixels counts as equivalent to 100 words for purposes of calculating both r-sizes and r-distances. Then N has an r-size equivalent of 1600 words. The r-distance between word position 200 in the first child, and word position 700 in the last child, is (500−200)+100+700=1100 word-unit equivalents. The r-distance between word position 200 in the first child, and the sole position in the graphic, is 500−200=300 word-unit equivalents. The r-distance between word position 700 in the last child, and the sole position in the graphic, is 700 word-unit equivalents. This treatment generalizes in an obvious way to higher nodes.

This ideally simple scenario typically fails to apply for real content. Consider a scenario where a content constituent N corresponds to an encyclopedia article. N has children N₁, . . . , N₆ in left-to-right order. N₁ is a header constituent that includes the title of the article. N₂, N₃, and N₅ are sections of the article. N₄ is a photograph and N₆ is a video. Given a search expression E, matches within header N₁ are more significant in determining the relevance of N to E than are matches within any of the other children. Thus while N₁ contains far fewer words than N₂ (for example), its r-size is much greater. This illustrates what will be called “boosting” in the discussion below. Similarly, the video is rendered in a smaller area than the photograph, but because it's a video, in this scenario its r-size is considered to be greater than the r-size of the photograph. Sections N₂ and N₃ concern somewhat different sub-topics of the article topic. Therefore, for purposes of calculating r-distance, there's a sort of gulf between N₂ and N₃, with the last word of N₂ considered to be much more than one word away from the first word of N₃. This illustrates what will be called “warping” in the discussion below. Moreover, for any two positions p_(2,1) and p_(2,2) within N₂, and for any two positions p_(3,1) and p_(3,2) within N₃, the r-distance between p_(2,1) and p_(3,1) equals the r-distance between p_(2,2) and p_(3,2). This illustrates what will be called “distance branching” in the discussion below. When distances branch, the triangle equality (d(p₁, p₃)=d(p₁, p₂)+d(p₂, p₃)) does not apply. Depending on how distances are assigned, the triangle inequality (d(p₁, p₃)≦d(p₁, p₂)+d(p₂, p₃)) may not apply either. Selected further illustrations of distance branching in this scenario are as follows: the r-distance between N₂ and N₃ equals the r-distance between N₂ and N₅ equals the r-distance between N₃ and N₅. The r-distance between N₁ and N₂ (which is smaller than the r-distance between N₂ and N₃) equals the r-distance between N₁ and N₃ equals the r-distance between N₁ and N₄ equals the r-distance between N₁ and N₅ equals the r-distance between N₁ and N₆. A full specification of relevance geometry for an enhanced parse tree or for a deduced semantic tree specifies (i) relevance centers (“r-centers”) for nodes and (ii) how the spaces corresponding to child nodes embed within the spaces corresponding to parent nodes. (ii) implies specification of the r-distances between arbitrary positions in arbitrary sibling nodes. In some cases, the relevance geometries of nodes can be modeled as subsets of R^(n), where spaces corresponding to child nodes are possibly transformed and then embedded in the spaces corresponding to parent nodes. In some cases, more abstract geometries will be more natural.

Boosting, warping, distance branching and other like deformations may be inferred with more or less confidence from knowledge of markup or other content authoring languages (for example, text under an HTML H1 node is boosted to a greater extent than text under an H2 node), or may be inferred with more or less confidence from layout structures (for example, as intervening white space increases, or as intervening border treatment becomes more prominent, the warped distance between adjacent constituents increases), or may be inferred with more or less confidence from knowledge of content categories (for example, within a constituent that comprises multiple product descriptions, the r-distance between any two product descriptions is the same). Alternatively, guidance on r-sizes and r-distances may be provided by supplemental authoring. This supplemental authoring may be reflected in the content sources themselves, or may be stored independently for use with specific content sources (for example, for use with all news articles from a particular Web site).

C. Recursive Evaluation of Content Constituents

Embodiments of the present invention evaluate search expressions on sub-constituents of documents, and thereby support applications that return document sub-constituents in response to search requests.

Given a search expression E and a document U, embodiments of the present invention walk the tree associated with U, from bottom to top. Alternative embodiments walk trees according to other orderings of tree constituents. At each node, it's first determined whether the node is a candidate for evaluation of E. If it is, the relevance geometry presented by the node's children is then calculated. Then E is evaluated for the node, starting with E's terminal sub-expressions, and working from bottom to top. Note that a node may be a candidate for evaluation of E even if it's not a candidate response to the search request—evaluation of the node may be a necessary step in the evaluation of a higher constituent that's a candidate response.

The result of evaluation is assignment of overall scores to constituents of U as matches for E. In traversing U, various embodiments of the present invention make various data structures calculated for lower nodes available for use in calculating data structures for higher nodes. Some embodiments of the present invention store all the data structures that have been calculated for lower nodes on those lower nodes, so that when data structures for higher nodes are calculated, the lower nodes may be re-traversed to retrieve relevant data structures. Other embodiments of the present invention eliminate re-traversals by passing up encapsulations of the data structures that have been calculated for lower nodes. These encapsulations take various forms in various embodiments of the invention. At one extreme, fully detailed records of occurrences of E's constituent atomic search expressions can be passed up the tree associated with U, together with all calculations related to evaluations of sub-expressions of E. In the interest of efficiency, it may be preferred to limit the data that's available when a node of U is visited. At an extreme, when a node N of the tree associated with U is visited, the only data that's available from calculations performed during the traversal of N's sub-constituents is any overall evaluation scores for E that have been assigned to children of N. Other embodiments of the present invention make available the following data calculated for descendants of N when evaluating E for N: for each child N′ of N, the node deviation of E for N′, and for each sub-expression E′ of E, the density of E′ for N′ and the relevance center of E′ for N′. Yet other embodiments of the present invention supplement the node deviation of E for N′ with more detailed information about the distribution of matches for E within N′, as will be discussed below. Yet other embodiments of the present invention use alternative encapsulations of matches for E and sub-expression of E in lower nodes.

Suppose that the relevance geometry of node N of document U has been calculated, that search expression E has been evaluated for descendants of N, and that the following data is available as a basis for evaluating E at N: for each child N′ of N, the node deviation of E for N′, and for each sub-expression E′ of E, the density of E′ for N′ and the relevance center of E′ for N′. The problem at hand is calculating the node deviation of E for N, and for each sub-expression of E′ of E, calculating the density of E′ for N and the r-center of E′ for N. The results of these calculations can then be passed up to the parent of N.

D. Assignment of Relevance Values to Children

Embodiments of the present invention proceed by assigning a r-value for each sub-expression E′ of E to each child N′ of N. In embodiments of the present invention, assignment of r-values begins with the atomic search terms that are the terminal sub-expressions of E, and works from bottom to top.

Given an atomic sub-expression E′ of E, and given a child N′ of N, embodiments of the present invention assign a pre-normalized r-value for E′ to N′ according to the following conditions: (i) if the density of E′ is zero for all children of N, then N′ is assigned a pre-normalized r-value of 0 for E′; (ii) if at least one child of N has non-zero density for E′, then the pre-normalized r-value assigned to N′ for E′ is Σ_(1≦i≦k) (A_(i)*D_(i)/(1+d_(i))^(x)), where k is the number of children of N, where x (the “distance attenuation exponent”) is a positive real number, where A_(i) is the r-size of the i-th child of N, where D_(i) is the density of E′ in the i-th child of N, and where d_(i) is the r-distance between the r-center of N′ and the r-center of E′ in the i-th child of N.

Embodiments of the present invention calculate the r-value for atomic expression E′ for child N′ of N from the pre-normalized r-value v for E′ for N′ as v/(Σ_(1≦i≦k) (A_(i)/(1+d_(i))^(x))), where k is the number of children of N, where x is the distance attenuation exponent, where A_(i) is the r-size of the i-th child of N, and where d_(i) is the minimum r-distance between constituents of N′ and constituents of the i-th child of N.

Given a sub-expression E₁ ## E₂ . . . ## E_(m) of E, the naive “indirect” method calculates pre-normalized r-values for E₁ ## E₂ . . . ## E_(m) for the children of N from the previously calculated densities and r-centers of E₁ ## E₂ . . . ## E_(m) for the children of N, as follows: (i) if the density of E₁ ## E₂ . . . ## E_(m) is zero for all children of N, then child N′ is assigned a pre-normalized r-value of 0 for E₁ ## E₂ . . . ## E_(m); (ii) if at least one child of N has non-zero density for E₁ ## E₂ . . . ## E_(m), then the pre-normalized r-value assigned to child N′ for E₁ ## E₂ . . . ## E_(m) is Σ_(1≦i≦k) (A_(i)*D_(i)/(1+d_(i))^(x)), where k is the number of children of N, where x (the “distance attenuation exponent”) is a positive real number, where A_(i) is the r-size of the i-th child of N, where D_(i) is the density of E₁ ## E₂ . . . ## E_(m) in the i-th child of N, and where d_(i) is the r-distance between the r-center of N′ and the r-center of E₁ ## E₂ . . . ## E_(m) in the i-th child of N. The pre-normalized r-value for E₁ ## E₂ . . . ## E_(m) that is calculated according to this naïve indirect method will be referred to below as the “indirect” pre-normalized r-value.

Given a sub-expression E₁ ## E₂ . . . ## E_(m) of E, where pre-normalized r-values for E₁, . . . , E_(m) have been calculated for the children of N, the naïve “direct” method calculates pre-normalized r-values for E₁ ## E₂ . . . ## E_(m) for the children of N as follows: the pre-normalized r-value assigned to child N′ is the geometric mean of the pre-normalized r-values assigned to N′ for E₁, . . . , E_(m). The pre-normalized r-value for E₁ ## E₂ . . . ## E_(m) that is calculated according to this naïve direct method will be referred to below as the “direct” pre-normalized r-value.

Suppose that E is haydn ## boccherini, and that N has two children, where the first child N₁ has a density of 0.1 for haydn, a density of 0 for boccherini, and a density of 0 for haydn ## boccherini, and where the second child N₂ has a density of 0 for haydn, a density of 0.1 for boccherini, and a density of 0 for haydn ## boccherini. By the indirect method, the children of N both receive pre-normalized r-values of 0 for haydn ## boccherini. Given that normalization does not affect pre-normalized r-values of 0, and given that the density of haydn ## boccherini for N will be calculated from the r-values for haydn ## boccherini assigned to children of N, N will be assigned a density of 0 for haydn ## boccherini. But N features occurrences of haydn (within N₁) in proximity to occurrences of boccherini (within N₂), so the naive indirect method is clearly inadequate.

Next suppose that E is haydn ## boccherini, and that N has two children with identical r-sizes, where the first child N₁ has a density of 0.1 for haydn, a density of 0.05 for boccherini, and a density of 0.06 for haydn ## boccherini, and where the second child N₂ has a density of 0.05 for haydn, a density of 0.1 for boccherini, and a density of 0.06 for haydn ## boccherini. In N₁, the occurrences of boccherini are relatively sparse, and these occurrences are not in proximity to the relatively abundant occurrences of haydn. In N₂, the occurrences of haydn are relatively sparse, and these occurrences are not in proximity to the relatively abundant occurrences of boccherini. To make a contrasting case, let the densities of haydn and boccherini remain the same for N₁ and N₂, and let the density of haydn ## boccherini be 0.08 for both N₁ and N₂. In this second case, haydn and boccherini are in greater proximity within N than they are within the first case. The naïve direct method is unable to distinguish between these contrasting cases, and so is inadequate.

Embodiments of the present invention calculate pre-normalized r-values for E₁ ## E₂ . . . ## E_(m) via the direct method, with corrections applied according to the indirect method, thereby incorporating the advantages of both methods without incurring their respective disadvantages. More precisely, given a sub-expression E₁ ## E₂ . . . ## E_(m) of E, embodiments of the present invention calculate the pre-normalized r-value for E₁ ## E₂ . . . ## E_(m) for child N′ of N from the previously calculated densities and r-centers of E₁ ## E₂ . . . ## E_(m) for the children of N, and from the previously calculated pre-normalized r-values for E₁, . . . E_(m) for the children of N, as follows: (i) let W_(i) be A_(i)*D_(i)/(1+d_(i))^(x), where x is the distance attenuation exponent, where A_(i) is the r-size of the i-th child of N, where D_(i) is the density of E₁ ## E₂ . . . ## E_(m) in the i-th child of N, and where d_(i) is the r-distance between the r-center of N′ and the r-center of E₁ ## E₂ . . . ## E_(m) in the i-th child of N. (ii) let w_(i,j) be A_(i)*D_(i,j)/(1+d_(i, j))^(x), where x is the distance attenuation exponent, where A_(i) is the r-size of the i-th child of N, where D_(i) is the density of E_(j) in the i-th child of N, and where d_(i,j) is the r-distance between the r-center of N′ and the r-center of E_(j) in the i-th child of N; (iii) let P be the product of the pre-normalized r-values of E₁, . . . , E_(m) for N′; (iv) the pre-normalized r-value assigned to N′ for E₁ ## E₂ . . . ## E_(m) is (P+Σ_(1≦i≦k)W_(i) ^(m)−Σ_(1≦i≦k)(Π_(1≦j≦m)w_(i,j)))^(1/m), where k is the number of children of N.

Note that when P is expanded, Π_(i≦i<m)w_(i,j) corresponds to a capture that is not the most accurate capture of the weight of E₁ ## E₂ . . . ## E_(m) at the i-th child of N, as this weight is felt at N′. (iv) in paragraph 0092 replaces this capture with the more accurate W_(i) ^(m).

Embodiments of the present invention calculate the r-value for E₁ ## E₂ . . . ## E_(m) for child N′ of N from the pre-normalized r-value v for E₁ ## E₂ . . . ## E_(m) for N′ as v/(Σ_(1≦i≦k)(A_(i)/(1+d_(i))^(x))), where k is the number of children of N, where x is the distance attenuation exponent, where A_(i) is the r-size of the i-th child of N, and where d_(i) is the minimum r-distance between constituents of N′ and constituents of the i-th child of N.

Given a child N′ of N and given search expressions E₁, . . . , E_(m), where the r-values for E₁, . . . , E_(m) for N′ have been calculated, embodiments of the present invention set the r-value for N′ for E₁ %% E₂ %% . . . %% E_(m) as the maximum of the r-values assigned to N′ for E₁, . . . , E_(m).

Given a child N′ of N and given search expression E, where the r-values for E for N′ has been calculated, embodiments of the present invention set the r-value for N′ for ˜E as the one minus the r-value assigned to N′ for E.

Calculations of r-values as described above applies recursively over sub-expressions of search expressions, and recursively over sub-constituents of content constituents, as illustrated in FIG. 2 and FIG. 3. Note that words (and/or characters) may be considered to be sub-constituents of texts in different embodiments. Other embodiments omit selected steps in the computations in paragraphs 0092 and 0094, and/or replace closed forms in paragraphs 0092 and 0094 with simpler closed forms. Note, however, that the embodiments in paragraphs 0092 and 0094 are entirely compatible with efficient search.

Note that a child of N can receive a non-zero r-value for a search expression even if its own density for the search expression is zero, and even if its own density is zero for all the sub-expressions of the search expression. Suppose that N is a Web page that presents information on composers of the classical period. A central box contains a description of the musical characteristics of the classical style, without mentioning any composers. The periphery of the page contains capsule biographies of various classical composers, including Haydn and Boccherini. No composer's biography mentions any other composer. The r-distance between the central box and any composer biography is much less than the r-distance between any two composer biographies. The central box receives non-zero r-values for haydn and for boccherini, and therefore receives a non-zero r-value for haydn ## boccherini. This constituent is therefore a candidate response to the search request haydn ## boccherini. It should be emphasized that in these embodiments, the relevance of the musical description to the search request is deduced entirely from the Web page that contains the musical description. No learning process over text corpora is involved. The user, or information worker, is provided with a means to explicitly formulate search requests that leverage co-occurrences of search terms. (Suppose that the central box in this example is replaced by an advertisement that is not a valid response to the search request haydn ## boccherini. Most advertisements in Web pages can be identified by well-known earmarks in HTML code. The relevance geometry of the Web page can be calculated so that the advertisement is placed at a suitably large r-distance from the composer biographies. Alternatively, an orthogonal mechanism can exclude the advertisement as a response to the search request. The same alternatives apply for other content whose relevance can be judged independently of how the content is placed in tree and layout structures.)

E. Relevance Centers for Parent Content Node

Suppose that for purposes of relevance geometry, the parent content node corresponds to a region of R², with its children corresponding to subregions. Embodiments of the present invention then capture the “relevance center” (“r-center”) of matches for search expression E for a content node N according to the following two formulas: x=(Σ_(1≦i≦n)(A_(i)*v_(i)*x_(i)))(Σ_(i≦i≦n) (A_(i)*v_(i))), and y=(Σ_(1≦i≦n) (A_(i)*v_(i)*y_(i))/ (Σ_(1≦i<n) (A₁*v_(i))), where n is the number of children of N, where A_(i) is the r-size of the i-th child of N, where v_(i) is the r-value for E assigned to the i-th child of N, where x is the x-coordinate of the r-center for E for N, where y is the y-coordinate of the r-center for E for N, where x_(i) is the x-coordinate of the r-center for E for the i-th child of N, and where y_(i) is the y-coordinate of the r-center for E for the i-th child of N. Note that the r-center of the parent node may not lie within any of the subregions corresponding to child nodes.

More generally, given a specification of how the spaces corresponding child nodes embed within the spaces corresponding to parent nodes, the (“r-center”) of matches for search expression E for a content node N is (Σ_(1≦i≦n) (A_(i)*v_(i)*p_(i))/(Σ_(1≦i≦n) (A_(i)*v_(i))), where n is the number of children of N, where A_(i) is the r-size of the i-th child of N, where v_(i) is the r-value for E assigned to the i-th child of N, and where p_(i) is the position of the r-center for E for the i-th child of N in the space corresponding to N. The relevance geometry for the parent node may supply for each child node a function (the “displacement” function) whose inputs are a match value and a position within the region corresponding to the child node, and whose output is a displacement vector that applies to positions within the region corresponding to the parent node. A position within a child node may be specified as a displacement vector applied to the r-center of the child node itself. Further, the relevance geometry for the parent node may be such that applications of displacement vectors are associative and commutative. Embodiments of the present invention then capture the “relevance center” (“r-center”) of matches for search expression E for a content node N by calculating the displacement vectors f_(i)(v_(i), p_(i)), where f_(i) is the displacement function corresponding to the i-th child of N, where v_(i) is the r-value for E assigned to the i-th child of N, and where p_(i) is the position of the r-center of E in the i-th child of N, and then successively applying these displacement vectors, applying the first vector to the r-center of the parent node itself.

F. Densities for Parent Content Node

Embodiments of the present invention capture the density of matches for search expression E for a content node N as (Σ_(1≦i≦n) (A_(i)*v_(i)))/(Σ_(1≦i≦n) A_(i)), where n is the number of children of N, where A_(i) is the r-size of the i-th child of N, and where v_(i) is the r-value for E assigned to the i-th child of N.

G. Distribution for Parent Content Node

Given that content node N has density D for search expression E, given that text child N′ of N has density D′ for E, and given that B′ is the average absolute deviation from D′ for the r-values assigned to the words of N′ as matches for E, the average absolute deviation from D for the r-values assigned to the children of N′ as matches for E cannot be deduced from D, D′, and B′ without additional information on how r-values for matches for E are distributed among the words of N′. For example, consider the case where D<D′. Suppose that n₁ words in N have r-values less than or equal to D. Suppose further that n₂ words have r-values greater than D and less than or equal to D′ and that the r-values of these n₂ words are x₁, . . . , x_(n) ₂ . And suppose that n₃ words have r-values greater than D′. Then the average absolute deviation from D for the r-values assigned to the children of N′ is B′+n₃/n(D′−D)−n₁/n (D′−D)+2/n*Σ_(1≦i≦n) ₂ x_(i)−n₂/n(D′+D).

Various embodiments of the present invention pass varying degrees of detail concerning the distributions of r-values for search matches up the tree (which may be a parse tree, an enhanced parse tree, or a deduced semantic tree), or store varying degrees of detail concerning distributions of r-values on lower nodes in the tree, where this information can be accessed by re-traversing lower nodes when distributions are calculated for higher nodes. At one extreme, only estimates of the average absolute deviations of a text node's children are available when the average absolute deviation of the node is estimated. At an opposite extreme, full details on distributions for lower nodes are available. Between these extremes, information on distribution bands for a node may be passed to the node's parent. The distribution bands may be more or less finely grained. For example, distribution bands might be as follows: r-value less than 0.5*density of parent, r-value greater than or equal to 0.5*density of parent and less than density of parent, r-value greater than or equal to density of parent and less than 2*density of parent, r-value greater than or equal to 2*density of parent. For each distribution band, the following may be passed up from text node N′ for use in processing N, the parent node of N′: the number of words of N′ with r-values in the band. Together with the other data discussed in paragraph 00102, this will allow estimation of the average absolute deviation of the r-values assigned to words of N′ as matches for E from the density of r-values for matches for E in N.

Alternative embodiments of the invention that use standard deviation, or variance, or higher moments to characterize distribution can similarly pass up varying degrees of detail concerning distributions in lower nodes.

Given that preterminal content node N has density D for search expression E, given that child N′ of N has density D′ for E, and given the absolute average deviation from D′ for the r-values assigned to the words of N′ as matches for E, embodiments of the present invention provide an exact or estimated “corrected average absolute deviation” from D for the r-values assigned to the words of N′, as described in paragraphs 00102-00103. Embodiments of the present invention calculate the “weighted corrected absolute average deviation” of matches for search expression E for preterminal content node N as (Σ_(1≦i≦n) (A_(i)*C_(i)))/(Σ_(1≦i≦n) A_(i)), where n is the number of children of N, where A_(i) is the r-size of the i-th child of N, and where C_(i) is the corrected average absolute deviation from D for the i-th child of N. The “node deviation” of a preterminal content node N for search expression E is the weighted corrected absolute average deviation of N for E. Recall that the node deviation for a text node N is the absolute average deviation of the r-values of the words of N from the arithmetic mean of the r-values of the words of N.

Embodiments of the present invention provide exact or estimated corrected node deviations for nodes whose children include higher nodes than text nodes as described in paragraphs 00102, 00103, and 00105, except that for a child N′ that is higher than a text node, in place of the average absolute deviation, the node deviation of N′ is used. Thus in the general case, given that the density of matches for search expression E for node N is D, embodiments of the present invention calculate the “weighted corrected node deviation” of matches for E for N as (Σ_(1≦i≦n) (A_(i)*C_(i)))/(Σ_(1≦i≦n) A_(i)), where n is the number of children of N, where A_(i) is the r-size of the i-th child of N, and where C_(i) is the corrected node deviation from D for the i-th child of N. As illustrated in FIG. 4, embodiments of the present invention pass up the “node deviation” for N, defined as this weighted corrected node deviation, for use in calculating the node deviation of the parent of N.

Given a content node N and a search expression E such that the density for E on N is D and the node deviation for E on N is B, embodiments of the present invention define the “distribution score” function Δ so that Δ=1 if D=0 and Δ=1−B/(2*D) if D≠0. A high value for Δ indicates an even distribution of E in N. A low value for Δ indicates an uneven distribution of E in N. In alternative embodiments of the present invention, Δ=0 if D=0.

H. Overall Score

Embodiments of the present invention assign an overall score for content node N as a match for search expression E according the following formula: c₁*D+c₂*Δ, where D is the density of E on N, where Δ is the distribution score for E on N, and where c1 and c2 are positive real numbers such that c₁+c₂≦1. Note that 0≦D≦1 and 0≦Δ≦1, so 0≦(c₁*D+c₂*Δ)≦1. The values of c₁ and c₂ can be tuned as desired to adjust the relative importance of distribution and density in judging the relevance of N for E. Note that in ranking search results, properties in addition to D and Δ, such as layout size, may be taken into account. These relative importance of these additional properties can be tuned as desired by ensuring that each property P takes values between 0 and 1, and using a formula of the form Σ_(1≦i≦m)(c_(i)*P_(i)), where there's a total of m properties and where Σ_(1≦i≦m)(c_(i))≦1, to calculate overall score.

V. Embodiments that Forego Calculations of Relevance Values

Alternative embodiments of the present invention work as described above, except that they forego calculations of r-values for atomic search terms for words in strings, and/or forego calculations of r-values for proximity search expressions for words in strings, and/or forego calculations of r-values for search expressions for children of content nodes. For example, for atomic search terms and strings, these embodiments work like paragraphs 0038-0051 above, with the difference that words that match an atomic search term are treated as though they were assigned value 1, while all other words are treated as though they were assigned value 0.

These alternative embodiments are somewhat simpler conceptually. They skip computation steps, with slight savings in computation times. However, by themselves these alternative embodiments don't capture evenness of match distributions. These alternative embodiments don't allow a constituent to be a candidate response for a search expression E strictly by virtue of its proximity to constituents that contain atomic sub-expressions of E. For a search expression like haydn ## boccherini, these alternative embodiments fail to distinguish cases where the relevance center for occurrences of haydn happens to coincide with the relevance center for occurrences of boccherini, while no occurrence of haydn is near any occurrence of boccherini, from cases where every occurrence of haydn is near an occurrence of boccherini and vice-versa.

Given a string S and an atomic search expression E, a “maximal hitless sub-string” of S for E is a sub-string of S that (i) contains no occurrences of E and (ii) is not properly contained in a sub-string of S that contains no occurrences of E. Other alternative embodiments of the present invention capture evenness of match distributions within strings in terms of the lengths of maximal hitless sub-strings. These alternative embodiments conflate distributions that the embodiments described in paragraphs 0046-0047 and paragraphs 00102-00107 are able to distinguish.

VI. Applications to Sets of Documents

Embodiments of the present invention extend the methods described above to sets of documents. Examples of sets of documents include the following: (1) a set of documents within a file directory, (2) the set of Web pages within a Web site, or within a well-defined sub-site of a Web site, (3) the set of documents obtained by starting with a Web page, adding the Web pages that this Web page links to (perhaps following only those links that belong to a certain category of link), adding the Web pages that those pages link to, and so on, with a bound placed on the size of the set of documents, or a bound placed on the length of the link-chain connecting members of the set to the initial page.

Once the set of documents is organized in a tree, or more generally in a directed acyclic graph, with an associated relevance geometry, the methods described above apply straightforwardly. Simple default tree organizations and simple default relevance geometries are readily available. For example, tree organization of documents in a file directory can correspond to the tree organization of the directory. Tree organization of a set of Web pages obtained by following links can place directly linked-to documents as children of directly linking documents. For purposes of relevance geometry, it may be considered that there's a fixed distance d such that for any position p in any Web page, and for any position p′ in any sibling of this first Web page, the distance between p and p′ is d. Or it may be considered that relevance geometry derives from a particular two-dimensional layout that incorporates sibling Web pages.

VII. Identifying Content to which Structure Search will be Applied

It may be wasteful to apply structured search to documents and other content selected at random. Given a search request in the form of a search expression E, embodiments of the present invention call external engines to identify and supply content to which structured search will be applied, as illustrated in FIG. 1. More specifically, occurrences of structural proximity conjunction in E may be replaced by occurrences of standard conjunction and occurrences of structural proximity disjunction may be replaced by occurrences of standard disjunction. Sub-expressions in the scope of the structural proximity complement operator are deleted. The resulting query E′ is then submitted to an external search engine, which may be coupled with the full Web, or with a database of annotated cached documents, or with some other content source. Structured search based on the original search expression E is then applied to the results returned by the external search engine, respecting any ordering suggested by the external search engine. Note that sub-expressions of E that lie in the scope of the structural proximity complement operator are deleted before submission to the external search engine, so that the external search engine will not miss content that includes sub-constituents that match deleted sub-expressions and also includes sub-constituents that match E.

VIII. Complementary Content Selection Criteria

A response to a user's search request may be influenced by criteria other than quality of search match. Content constituents that render in smaller areas may be preferred to content constituents that render in larger areas, especially if the target device is small.

In contrasting cases, content constituents may be disfavored because they're too small. For example, a text constituent that consists solely of the word haydn is a poor candidate response to the search request haydn.

Embodiments of the present invention support explicit user requests for content that derives from a specific source or set of sources, including sets of sources that correspond to the results of previous content requests. Embodiments of the present invention also support explicit user requests for content that belongs to a specified category. For example, the user may request product descriptions that match boccherini. Categories of content may be characterized in terms of tree and/or layout structures. Such characterizations may be generic, or may be specific to particular content sources. For example, Web product descriptions may be characterized generically in terms of parsed and/or rendered HTML. Product descriptions may be similarly but much more narrowly characterized for a particular Web site. Characterizations of content categories may be stored in a category repository, as illustrated in FIG. 1. Cached content may be annotated to reflect which sub-constituents belong to which categories. Embodiments of the present invention also store information on the relevance geometry of constituents in category repositories.

Search requests may include additional predicates. For example, search requests may include predicates that specify string-based relationships, such as fixed-distance proximity relationships. Search requests may also include predicates that specify tree-based relationships, such as predicates that specify node properties, and properties that specify inter-node relationships. Tree-based relationships may refer to markup parse trees, to trees derived from string, markup, layout, and category information, or to other trees. Search requests may also includes predicates that specify graph-based relationships more generally.

Embodiments of the present invention use the && operator to interpret search requests that specify content categories, and to interpret search requests that include various predicates. For example, article matching “counterpoint” is interpreted as a request for N such that (N is an article) && (N matches “counterpoint”). Suppose that membership in content categories is evaluated as true or false (although these embodiments are compatible with evaluating membership in content categories as a matter of degree). Then according to these embodiments, the score for an article as a response to the search request article matching “counterpoint” is the same as score for the article as a match for counterpoint.

Search requests may also include explicit quantifiers, as in article that contains at least one captioned image, and as in article that contains exactly three captioned images.

Search requests may also include predicates that correspond to specified search algorithms, such as the algorithms described in paragraphs 0038-00111 above. For example, article that contains captioned image may be interpreted analogously to article that matches “counterpoint.” As the number of occurrences of counterpoint within an article increases, as the distribution of occurrences becomes more even, and so on, the score for the article as a match for counterpoint increases. Similarly, according to the stated interpretation, as the number of captioned images within an article increases, as the distribution of captioned images within the article becomes more even, and so on, the score for the article as containing captioned images increases.

Search requests with Boolean and scalar-valued logical operators, with quantifiers, with predicates that specify string-based, tree-based, and graph-based relationships, with predicates that specify category membership, and with predicates that correspond to specified algorithms, may be embedded recursively. Embodiments of the present invention apply the algorithms of paragraphs 0052-00111 to the resulting complex search requests. For example, consider article matching “counterpoint” that contains captioned image matching “haydn,” where contains is interpreted as described in paragraph 00121 above, and where && is used to interpret relative clauses. Following the algorithms in paragraphs 0052-00111 above, the constituents of this search request (which may be represented as match(N2,“haydn”), captionedImage(N2), match(N2,“haydn”) && captionedImage(N2), article(N1), match(N1, “counterpoint”), contain(N1, (N2|match (N2,“haydn”) && captionedImage(N2)), article(N1) && match(N1, “counterpoint”) && contain(N1, (N2|(N2,“haydn”) && captionedImage(N2))) are each evaluated at each node of the markup tree or deduced semantic tree. Embodiments of the invention use category information to optimize the evaluation. For example, when evaluating the search request article matching “counterpoint” that contains captioned image matching “haydn,” if a constituent is known not to be a possible sub-constituent of an article, then the constituent need not be evaluated as a match for counterpoint. For another example, if a constituent is known not to be a possible super-constituent of captioned images, then the constituent need not be evaluated as to its containment of captioned images matching haydn. It should be noted that complex search requests may be embedded under the structural proximity operator ##, as in (product description matching “suit”) ## (product description matching “tie”).

Complex search requests may be annotated with indications of which constituents are to be returned. For example, (return product description matching “suit”) ## (product description matching “tie”) would return product descriptions matching “suit” that are in proximity to product descriptions matching “tie,” but would not return product descriptions matching “tie” that are in proximity to product descriptions matching “suit.”

Embodiments of the present invention support what may be called “constituent integrity” as a criterion for selecting content constituents. An “integral constituent” is more than the sum of its parts. In an integral constituent, the juxtaposition of sub-constituents adds to the meanings conveyed by the individual sub-constituents. To take a very simple example, consider an HTML product description that comprises the product name in one table cell, and the product price in another table cell. It's the juxtaposition of these two cells that conveys the information that this product has this price. Texts such as news articles and essays, or for that matter, novels and poems, are prime examples of integral constituents. So are comic strips. Integral constituents can be sub-constituents of other integral constituents. For example, a captioned image is an integral constituent that's a sub-constituent of a news article, which is also an integral constituent.

Constituent integrity may be a matter of degree, and ultimately, a matter of individual perception. There are nevertheless clear-cut contrasts among constituents in this respect. For example, a single news article is readily perceived as an integral constituent, even if it's split across multiple Web pages. In contrast, a constituent that's assembled from unrelated smaller constituents, or assembled from marginally related smaller constituents, is less readily perceived as integral. For example, an HTML table that includes a news article, lists of links to other articles, and advertisements may be very apparent visually when the containing page is rendered, but not readily perceived as an integral constituent. Some integral constituents retain all or most of their perceived integrity when certain of their sub-constituents are expurgated. (Thus the term “constituent integrity” is based on an imperfect metaphor.) For example, the text of a news article may include an embedded advertisement that can be expurgated and delivered separately from the news article without reducing the total information conveyed.

For some simply specified constituent categories, characteristics related to constituent integrity are fairly immediate. For example, paragraphs readily combine to form higher integral constituents. In the absence of full information about constituent integrity, some general principles can be used to infer with more or less confidence which constituents are integral. For example, the lowest ancestor constituent of a header constituent that meets one of (or better yet both) of the following two tunable conditions is likely to be integral: (1) the total amount of text contained in the higher constituent is much greater than the total amount of text contained in the header; (2) the rendered area of the higher constituent is much greater than the rendered area of the header. If the header constituent is rendered at the top of the higher constituent, that increases the likelihood that the higher constituent is integral. To take another example of inference of constituent integrity, a constituent is unlikely to be integral if it contains a large number of similar complex integral constituents, where these contained constituents are not known to be possible sub-constituents of higher integral constituents.

Concerning candidates for expurgation, embodiments of the present invention allow a category repository to include annotations as to members of which distinguished constituent categories may be expurgated from members of which other distinguished constituent categories.

IX. Presenting the Results of Structure Search

Embodiments of the present invention organize the output of a structured search into an annotated catalog of content constituents, as illustrated in FIG. 1 (“content constituent catalog” 115). Annotations may include indications of quality of search match, rendered size, constituent integrity, and degree to which a constituent corresponds to a user-specified constituent category. Annotations may also include indications of which sub-constituents of a constituent returned by structured search are candidates for expurgation.

Embodiments of the present invention direct content constituent catalogs to a content selection engine that trades off among various content selection criteria to determine which content constituents to present in response to a user search request, and to determine the order in which content constituents will be presented. In some of these embodiments, the content selection engine communicates with a layout engine, as illustrated in FIG. 1. As the layout engine places content constituents according to layout criteria, it may generate very specific requirements that it can communicate to the content selection engine. For example, a layout in progress may have room for a constituent of a specific size. The layout engine can request a constituent of this size from the content selection engine, which can then supply the constituent of the required size that best satisfies the selection criteria in effect.

X. Illustrations of Subroutines

Referring now to FIG. 2, wherein a block diagram is shown illustrating the evaluation of a search expression E for a content constituent N, in accordance with various embodiments of the present invention. Note that a content node may be identified with the constituent that it dominates. “Content node” and “content constituent” are therefore used interchangeably. As illustrated, for the embodiments, if N is a terminal node 202, densities and relevance centers are calculated for N for all the sub-expressions of E 206. FIG. 3 illustrates in more detail these calculations of densities and relevance centers. If N is not a terminal node 202, and if the subroutine corresponding to FIG. 2 has not already been called for all the children of N 203, then this subroutine must first be called for all the children of N 204. Thus in these embodiments, calculation proceeds recursively over the sub-constituents of N, from bottom to top. If the subroutine corresponding to FIG. 2 has already been called for all the children of N 203, then the relevance geometry of N is determined 205. In various embodiments, this determination of relevance geometry proceeds as described in paragraphs 0075-0080 above. Densities and relevance centers are then calculated for N for all the sub-expressions of E 206. FIG. 3 illustrates in more detail these calculations of densities and relevance centers. The node deviation for the root search expression E for N is then calculated 207. FIG. 4 illustrates in more detail this calculation of the node deviation for N for E. The score for E for N is then calculated 208. In various embodiments, this score calculation proceeds as described in paragraphs 0051 and 00108 above.

Referring now to FIG. 3, wherein a block diagram is shown illustrating the calculation of r-values of search expression E for children of content node N, and illustrating the calculation of density and relevance center for E for N from these r-values, in accordance with various embodiments of the present invention. As illustrated, for the embodiments, if the subroutine corresponding to FIG. 3 has not already been called all immediate sub-expressions of E 302, then this subroutine must first be called for all immediate sub-expressions of E 303. Thus in these embodiments, calculation proceeds recursively over the sub-expressions of E, from bottom to top. If the subroutine corresponding to FIG. 3 has already been called for all the immediate sub-expressions of E 302, then r-values are calculated for E for children of N 304, 305, 307, 308, 309, 310, 311. If N is a text node 304 and if E is an atomic search term 305, then r-values for the words of E are calculated from the occurrences of E 307. In various embodiments, these r-value calculations proceed as described in paragraphs 0038-0043 above. If N is a text node 304 and if E is not an atomic search term 305, then r-values for the words of E are calculated from the r-values of E's immediate sub-expressions 308. In various embodiments, these r-value calculations proceed as described in paragraphs 0052-0059 above. If N is not a text node 304 and if E is an atomic search term 309, then r-values for E for the children of N are calculated from densities and relevance centers for E for the children of N 310. In various embodiments, these r-value calculations proceed as described in paragraphs 0085-0098 above. If N is not a text node 304 and if E is not an atomic search term 309, then r-values for E for the children of N are calculated from densities and relevance centers for E for the children of N 311. In various embodiments, these r-value calculations proceed as described in paragraphs 0085-0098 above. Note that according to the embodiments, if N is a text node, the children of N are the words of N. After r-values have been calculated for E for the children of N, the density and relevance center for E for N is calculated from these r-values 312. In various embodiments, calculation of density and relevance center proceeds as described in paragraphs 0044-0045, paragraphs 0048-0050, and paragraphs 0099-00101 above.

Referring now to FIG. 4, wherein a block diagram is shown illustrating the calculation of the node deviation for search expression E for content node N, in accordance with various embodiments of the present invention. If N is a text node 402, the node deviation for E for N is calculated from the r-values assigned to the words of N 403. In various embodiments, this node deviation calculation proceeds as described in paragraphs 0046-0047 and 0071 above. If N is not a text node 402, node deviations of the children of N are corrected to reflect deviations from the density of N 404. The node deviation of N is then calculated as the weighted average of the corrected node deviations of the children of N 405. In various embodiments, the calculation of corrected node deviations for the children of N, and the subsequent calculation of the node deviation for E for N, proceed as described in paragraphs 00102-00107 above.

XI. Search Scoring with Positional Sensitivity

An “atomic search scoring function” takes as input an atomic search expression and a structure, and outputs a score corresponding to the degree to which the structure matches the search expression. Examples of structures include strings of words, markup strings, trees corresponding to parsed markup, enhanced markup trees as described in paragraph 0074 above, deduced semantic trees as described in paragraph 0074 above, database records, and other database objects. Structures may be built recursively from lower structures (markup constituents from lower markup constituents, Web sites from markup documents, corpora of texts from text documents, XML repositories from XML documents, databases from records, and so on).

A “distance function” for a structure takes as input two sub-structures of the structure, each of which can at least hold one atomic search expression, and outputs a distance. (For example, for a structure corresponds to a string of words, with words themselves as sub-structures, inter-word distance corresponds to a distance function.)

A sub-structure is “atomic” if it can be fully occupied by an atomic search expression.

Two sub-structures S₀ and S₁ of S are “similarly located” in S if the set of distances between S₀ and other sub-structures of S is identical to the set of distances between S₁ and other sub-structures of S. (For example, in a four-word string with inter-word distance as the distance function, the first and fourth word positions are similarly located, and the second and third word positions are similarly located. For another example, suppose that S comprises n atomic sub-structures, that there are no sub-structures of S except these atomic sub-structures, and that the distance function for S can be captured by equally spacing the n atomic sub-structures around a circle, with the distance between two atomic sub-structures corresponding to the Euclidean distance between the corresponding points on the circle. Then all the atomic sub-structures of S are similarly located.)

Given a structure S with a distance function, where (i) atomic sub-structures S₀ and S₁ are not similarly located, (ii) an occurrence of atomic search expression E occupies atomic sub-structure S₀, and (iii) S₁ does not contain E, an “effective move” of E in S exchanges the contents of S₀ and S₁. An “effective move” for a set of atomic expressions E₁, . . . , E_(n) in S is an effective move of some E_(i) (where 1≦i≦n) that does not exchange an occurrence of E_(i) with an occurrence of some E_(j) (where j≠i and 1≦j≦n). An “effective tandem move” for a set of atomic expressions E₁, . . . , E_(n) in S is a sequence of effective moves for E₁, . . . , E_(n) in S, where no consecutive or non-consecutive sub-sequence of moves exchanges an occurrence of some E_(i) (where 1≦i≦n) with an occurrence of some E_(j) (where j≠i and 1≦j≦n). An effective move for E₁, . . . , E_(n) in S is considered to be special case of an effective tandem move E₁, . . . , E_(n) in S. (For example, given S as the string “haydn boccherini mozart pleyel clementi” with inter-word distance as the distance function, a tandem effective move for haydn, boccherini in S can yield “mozart haydn boccherini pleyel clementi.”)

Given a structure S with a distance function, an atomic search scoring function on the structure has “positional sensitivity” just in case an effective move of an atomic search expression E within the structure is guaranteed to change the score for E on S.

A “basic proximity search scoring function” takes as input two or more atomic search expressions and a structure, and outputs a score corresponding to the degree to which the atomic search expressions are in proximity within the structure. Given a structure S with a distance function, a basic proximity search scoring function has “positional sensitivity” just in case an effective tandem move of atomic search expressions E₁, . . . , E_(n) in S is guaranteed to change the score for E₁, . . . , E_(n) on S.

A scoring function for a search expression language that doesn't include a proximity operator has “positional sensitivity” if the scoring function has positional sensitivity for the atomic search expressions within the language. A scoring function for a search expression language that includes a binary or n-ary proximity operator has “positional sensitivity” if (i) the scoring function has positional sensitivity for the atomic search expressions within the language, and (ii) the scoring function has positional sensitivity for expressions in the language where the proximity operator is applied to atomic search expressions.

XII. Applications to Targeted Advertising

Various embodiments of the present invention associate search expressions with advertisements. Search expressions associated with advertisements may include structural proximity operators, or additional operators and predicates as described in paragraphs 00118-00122 above. Given a content constituent, and given a set advertisements, each with one or more associated search expressions, the content constituent can be scored for each of these search expressions according to methods described in paragraphs 0038-00113 above. The advertisements can then be ranked according to which advertisements have the best single associated search expression scores, or according to according to which advertisements have the best average associated search expression scores. The content constituent can then be delivered together with the highest ranking advertisements, subject to space, size, and other constraints.

Various embodiments of the present invention use proximity relationships to rank advertisements for a given user search request E_(u) and a given content constituent N. Suppose that an advertisement is associated with search expressions E_(a,1), . . . , E_(a,n). Suppose that prox is a proximity operator. Then various embodiments identify the score of the advertisement for E_(u) and N as the maximum of the scores over 1≦i≦n of (E_(a,i) prox E_(u)) on N, or an average of the scores over 1≦i≦n of (E_(a,i) prox E_(u)) on N. In particular, various embodiments identify the score of the advertisement for E_(u) and N as the maximum of the scores over 1≦i≦n of (E_(a,i) ## E_(u)) on N, or an average of the scores over 1≦i≦n of (E_(a,i) ## E_(u)) on N, where ## is the structural proximity operator as described in paragraphs 0052-00111 above. In the case where the E_(a,i) are atomic, and where E_(u) comprises a sequence or set of atomic search expressions E_(u,1), . . . , E_(u,m), alternative embodiments identify the score of the advertisement for E_(u) and N as the score on N of other expressions composed from E_(a,1), . . . , E_(a,n) and E_(u,1), . . . , E_(u,m) by applying proximity operators.

XIII. Optimization and Refinement

Embodiments of the present invention accommodate assignment of varying weights to different atomic search expressions by a generalizing the formula Σ_(1≦i≦k) (1/(1+d_(i))^(x)) in paragraph 38 to Σ_(1≦i≦k) (ε/(1+d_(i))^(x)), and by generalizing the formula Σ_(1≦i≦n) (1/(1+d_(i))^(x)) in paragraph 39 to Σ_(1≦i≦n) (ε/(1+d_(i))^(x)), where 0<ε≦1, with ε corresponding to the weight assigned to atomic search term E. Alternative embodiments generalize the formula Σ_(1≦i≦k) (1/(1+d_(i))^(x)) in paragraph 38 to Σ_(1≦i≦k) (ε/(1+d_(i))^(x)), but retain the formula Σ_(1≦i≦n) (1/(1+d_(i))^(x)) in paragraph 39 for purposes of normalization.

For sibling content nodes, the calculation of r-values in paragraphs 85-98 is quadratic in the number of siblings. For text strings, the calculation of r-values in paragraphs 38-43, and therefore in paragraphs 52-59, is quadratic in the number of words. Embodiments of the present invention establish a bound on the number of children of content nodes, and establish a bound on the size of undivided text strings. When the number of children of a content node N exceeds the established bound for content nodes, the children of N become grandchildren of N, and a level of nodes is interposed between N and its former children, so that none of the new nodes has more children than the established bound. (If the content tree is an HTML tree, the interposed nodes can be plain SPAN nodes, whose presence won't affect layout.) Similarly, when the number of words in a string exceeds the established bound for strings, it's divided into substrings, and a level of nodes is interposed between the string and its former parent in the content tree. If a single new level of nodes isn't sufficient to bring the maximum number of siblings, or the maximum string length in words, under the established bound, the operation of interposing a new level of nodes is repeated as required.

R-value is another example of a property that may be used in the formula in paragraph 108. Embodiments of the present invention assign an overall score for content node N as a match for search expression E according the following formula: c₁*D+c₂*Δ+c₃*ρ, where D is the density of E on N, where Δ is the distribution score for E on N, where ρ is the r-value for E on N, and where c₁, c₂, and c₃ are non-negative real numbers such that c₁+c₂+c₃≦1. More generally, a formula of the form (Σ_(1≦i≦m)(c_(i)*P_(i) ^(e) ^(i) ))*Π_(m+1≦i≦n) P_(i) ^(e) ^(i) may be used to calculate overall score. The exponents e_(i) are fixed on a per-property basis and need not be integers. The properties P₁, . . . , P_(m) may be considered “beneficial” properties, while properties P_(m−1), . . . , P_(n) may be considered “detrimental” properties. For example, suppose that content is being scored for delivery to a mobile device. Then download size might be an example of a detrimental property. The greater the download size, the lower the score, other things being equal. For each detrimental property P_(i), either P_(i) may be normalized so that its value is always greater than or equal to 1, in which case e_(i) should be negative, or P_(i) may be normalized so that its value is always greater than 0 and less than or equal to 1, in which case e_(i) should be positive. Further, embodiments of the present invention partially or wholly specify content categories in terms of the values for the coefficients c_(i) and the exponents For example, suppose that a minimum number of text characters for a given content category is stipulated, and that property P for a document constituent that is a putative instance of the given content category corresponds to the stipulated minimum number of text characters, minus the number of text characters within the document constituent. For a document constituent with less than the stipulated number of text characters, P may be considered a detrimental property in the evaluation of the document constituent as corresponding to the given content category, with a penalty corresponding to P^(e), where e>0 is stipulated for the given content category. Note that according to these embodiments, membership in a content category is a matter of degree.

For certain Web document constituents and other document constituents, high densities for search atoms do not accurately reflect relevance to search expressions constructed from the search atoms. For example, a Web page may include a constituent with many occurrences of the word “shirt,” as in “cotton shirt linen shirt baby shirt toddler shirt summer shirt winter shirt . . . ,” because the Web page was intentionally authored to correspond to searches for “cotton shirt,” and so on. For another example, consider a Web page that contains links to new stories, with text extracts from these stories, where the Web page itself has been automatically constructed through a search for a small number of topically related search terms (as for bull market over a set of American electronic newspapers at a time when stock markets are rising sharply enough to constitute major news). This page of links and text extracts will be highly relevant to the topically related search terms, but perhaps not to the extent indicated by the densities of these terms on the page. To accommodate document constituents with spuriously high densities for search expressions, embodiments of the present invention stipulate bounds on densities. When the density of a search expression, and/or a sub-expression of the search expression, exceeds a stipulated bound, it is reset as the bound. Such bounds may be stipulated on a per-content-category basis. In some cases, spuriousness of high density may vary according to text length. For example, “cotton shirt” as the entirety of an image caption has a very high density for the search expression cotton shirt, but perhaps not spuriously so. Therefore embodiments of the present invention stipulate density bounds as functions of text lengths, where the functions behave asymptotically as text lengths increase. Some embodiments use functions of the form c*b^(L) ^(e) , where 0<c<1, b>1, and e<0 are stipulated, and where L is text length in words. In alternative embodiments, L is text length as a multiple of the aggregate number of words in the atoms of the search expression. Maximum density thus varies according search expression. In some embodiments of the present invention, densities are normalized as a proportion of maximum density. In some alternative embodiments that use functions of the form c*b^(L) ^(e) as above, where L is text length as a multiple of the aggregate number of words in the atoms of a given search expression, c is defined the maximum density for the given search expression times a stipulated constant 0<χ<1 that's used for all search expressions, and b is 1/χ. In various embodiments, density bounds as above are applied in conjunction with various alternative methods of computing densities.

For a case where a Web page satisfies a search expression, typically only a small proportion of the content items within the Web page satisfy the search expression or any sub-expression of the search expression. It's wasteful to include such non-matching content items in bottom-up traversals that calculate relevance values. If relevance sizes and relevance distances are calculated at query-time solely for the purpose of calculating relevance values, and if delivering content items that match no sub-expressions of a given search expression is ruled out, then it's wasteful to calculate relevance sizes and relevance distances for such non-matching content items. If content items are measured at query-time solely for the purpose of calculating relevance sizes and relevance distances, then it's wasteful to measure non-matching content items.

Embodiments of the current invention may annotate content items during query-time parsing of Web pages according to whether the content items known to satisfy a given search expression, and/or according to whether they're known to satisfy given sub-expressions of a given search expression, and/or according to whether they're known to not satisfy a given a given search expression, and/or according to whether they're known to not satisfy given sub-expressions of a given search expression.

For example, suppose that markup is parsed according to an algorithm that maintains a stack of open tags as it reads tokens left to right. Suppose further that the search expression is constructed from one or more search atoms with zero or more instances of a proximity operator and zero or more instances of parenthesization. Various embodiments may annotate stack elements with a Boolean flag that indicates whether or not they dominate some search expression terminal. This flag may initially be set to FALSE. When a search expression terminal is encountered during the parse, the flag is set to TRUE for all elements currently on the stack. Alternative embodiments annotate stack elements according to which search expression terminals they dominate. Other alternative embodiments annotate stack elements according to those search sub-expressions for which they dominate all terminals. For some of these embodiments, the annotations comprise a collection (list, array, vector, or similar) of search expressions. For others of these embodiments, the annotation on a stack element is a copy of the search expression tree, with nodes of the search expression copies annotated according to whether all the dominated search expression terminals are dominated by the stack element. During traversals that calculate relevance values, these content node annotations are checked, and content nodes that match no sub-expressions of the search expression are not descended.

Various embodiments of the present invention may skip branches of content trees or directed acyclic graphs according to other criteria. For example, content items whose relevance sizes are less than a stipulated threshold may be deemed too insignificant to bring to the user's attention. Given that the relevance size of a containing content item may necessarily be at least as large as the relevance size of any content item that it contains, various embodiments do not descend branches whose roots are content items whose relevance sizes fall below the stipulated threshold.

For queries more generally, embodiments of the present invention decompose and/or normalize queries prior to parsing content. For example, various embodiments may normalize queries that include negative operators so that negative operators are driven inward. For traversals over content trees or directed acyclic graphs more generally, embodiments of the present invention may set annotations on content nodes during earlier traversals that are read during subsequent traversals to determine which branches to skip. Different traversals may skip different branches. Among embodiments where content nodes are annotated with copies of the search expression tree, various embodiments may traverse search expression tree copies during or between content tree traversals, deducing search expression node annotations from other search expression node annotations.

For content other than Web pages, embodiments of the present invention may similarly traverse only those branches of content trees and directed acylic graphs that match atomic search expressions, and/or conform to other criteria.

As discussed in paragraphs 85-98, embodiments of the present invention may traverse multiple copies of a search expression tree during traversals of a content tree. Various embodiments may traverse search expression tree copies in tandem, to avoid wasteful re-traversals of search expression tree copies. For example, as relevance values may be computed during a bottom-up traversal of the content tree, various embodiments may maintain a copy of the search expression tree for each content node, with annotations on each search expression node indicating the relevance value of the content node for the search sub-expression corresponding to the search expression node. When the bottom-up traversal reaches a parent content node, relevance values may be computed for each search sub-expression for each child node. Various embodiments may accomplish this by annotating each child content node with a copy of the search expression tree, and traversing each of these search expression tree copies bottom-up. For a given child content node N, the methods of paragraphs 85-98 may apply to compute the relevance value for a parent search expression node E in the search expression tree copy annotation of N, from the relevance values of the children of E, and from the densities of the siblings of N as annotated for the search expression nodes corresponding to E on the search expression tree copy annotations of the siblings of N. Embodiments of the present invention may accomplish this by traversing the search expression tree copy annotations of N and its siblings in tandem, as follows: each of N and its siblings may be associated with a stack of marked search expression nodes, where the search expression node may be contained within the search expression tree copy associated with the content node, and where the marking may be a Boolean flag. These stacks may maintain cursors into tandem postorder traversals of the search expression tree copies. At the start of the tandem postorder traversals, the stack for each sibling content node may contain only the root node of the content node's associated search expression tree, marked with FALSE. Subsequently, while the stack remains non-empty, the top of the stack may be consulted at each step of the traversal. If the node at the top of the stack is marked TRUE, then that node is next in the postorder traversal, and the stack is popped. Otherwise, the node at the top of the stack has its mark changed to TRUE, and then the children of this node, with markers set to FALSE, are pushed on the stack, beginning with rightmost sibling and proceeding in right-to-left order.

XIV. Computing Device Architecture

FIG. 5 illustrates an architecture view of a computing device 700, such as a desktop computer or a PDA, suitable for practicing the present invention in accordance with one embodiment. Computing device 700 may be a server or a client. Whether as a server or client, computing device 700 may be coupled to clients or server via a wireless or wireline based interconnection, over one or more private and/or public networks, including the famous public network “Internet”.

As illustrated, for the embodiment, computing device 700 includes elements found in conventional computing device, such as micro-controller/processor 702, digital signal processor (DSP) 704, non-volatile memory 706, display 708, input keys 710 (such as keypad, select button, D-unit), and transmit/receive (TX/RX) 712, coupled to each other via bus 714, which may be a single bus or an hierarchy of bridged buses. Further, non-volatile memory 706 includes operating logic 720 adapted to implement selected or all aspects of the earlier described content request engine 111, structured content search engine 114, content selection engine 116, and/or layout engine 117, in and of itself/themselves or as part of one or more larger components. In other words, the various engines may be implemented on one or more computing systems. For the latter implementations, the computing systems may be directly coupled, through Local and/or Wide Area Networks. The implementation(s) may be via any one of a number programming languages, assembly, C, and so forth.

In alternate embodiments, all or portions of the operating logic 720 may be implemented in hardware, firmware, or combination thereof. Hardware implementations may be in the form of application specific integrated circuit (ASIC), reconfigured reconfigurable circuits (such as Field Programming Field Array (FPGA)), and so forth.

Although specific embodiments have been illustrated and described herein, it will be appreciated by those of ordinary skill in the art that a wide variety of alternate and/or equivalent implementations may be substituted for the specific embodiment shown and described without departing from the scope of the present invention. Those with skill in the art will readily appreciate that the present invention may be implemented in a very wide variety of embodiments. This application is intended to cover any adaptations or variations of the embodiments discussed herein. Therefore, it is manifestly intended that this invention be limited only by the claims and the equivalents thereof. 

What is claimed is:
 1. A machine implemented method comprising: receiving by a search engine, from a content searching or consuming application, an atomic search term, the search engine and the content searching or consuming application being operated on one or more different or same computing devices; receiving a content page nominally associated with the atomic search term, or access information of the content page, by the search engine; generating in response, by the search engine, one or more scores for one or more structures of the content page indicative of relative relevance of the content page or one or more portions of the content page to the atomic search term, wherein a structure includes substructures, wherein the generating of a score for a structure is based at least in part on a distance function and a scoring function, wherein the distance function measures distances between sub-structures within the structure being scored to facilitate determining of mutual relevance of occurrence positions, and wherein the scoring function is positionally sensitive, yielding different scores for at least some different occurrence positions of the atomic search term in substructures of the structure being scored, irrespective of substructure category memberships; and conditionally providing or not providing the content or one or more portions of the content, or access information of the content or one or more portions of the content, to the content searching or consuming application, by the search engine, based at least in part on the generated one or more scores; wherein the generating of a score for a structure further includes establishing a bound on a number of children content nodes considered for each content node or a bound on a size of each of the text strings considered; and wherein the generating of a score for a structure further includes establishing one or more criteria on sub-structures according to which sub-structures of the structure will be considered or not.
 2. The method of claim 1, wherein the atomic search term comprises a plurality of words.
 3. The method of claim 1, wherein the structure comprises one or more strings of words, one or more markup strings, one or more trees corresponding to parsed markup, one or more deduced semantic trees, one or more database records,or one or more database objects.
 4. The method of claim 1, wherein the content page comprises one or more web pages of one or more web applications, one or more XML documents in one or more XML repositories, one or more documents in one or more document corpora, or one or more database objects in one or more databases.
 5. The method of claim 1, wherein the structure comprises a tree structure corresponding to parsed markup of the content, annotated with measurement information derived from layout structures associated with the content.
 6. The method of claim 5, further comprising deriving the measurement information and annotating the tree structure.
 7. The method of claim 1 wherein the content page comprises a plurality of constituents, and the method further comprises building the structure by recursively forming higher sub-structures from lower sub-structures of the constituents of the content.
 8. The method of claim 1, wherein the content page comprises a plurality of constituents, and the generating of one or more scores comprises generating one or more scores for one or more atomic ones of the constituents, one or more aggregate ones of the atomic constituents, one or more aggregate ones of the aggregates, or one or more aggregate ones of the aggregates and atomic constituents.
 9. The method of claim 8, wherein the generating of a score for an aggregate comprises calculating an overall score for the aggregate as a match for the atomic search term by calculating c₁*D+c₂*Δ+c_(3*)ρ, where D is a density of the atomic search term on the aggregate, Δ is a distribution score for the atomic search expression on the aggregate, ρ is the r-value for the atomic search expression on the aggregate, and c₁ , c₂ , and c₃ are non-negative real numbers such that c₁+c₂+c₃≦1, wherein (Σ_(1≦i≦m)(c₁*P_(i) ^(e) ^(i) ))*Π_(m+1≦i≦n) P_(i) ^(e) ^(i) provides the overall score, P_(l), . . . , P_(m) being beneficial properties and P_(m+1), . . . , P_(n) being detrimental properties.
 10. The method of claim 9, wherein the generating further comprises calculating either D, Δ or both, based at least in part on relevance values assigned to children of the aggregate.
 11. The method of claim 8, wherein the generating further comprises assigning relevance values to children of the aggregate by assigning a child (i) a relevance value of 0 if the aggregate contains no occurrences of the atomic search term, and (ii) a relevance value of Σ_(1≦i≦k)(ε/(1+d_(i))^(x)), where 0<ε≦1, if the aggregate contains at least one occurrence of the atomic search term, where k is the number of occurrences of the atomic search term in the aggregate, x is a “distance attenuation exponent”, a positive real number, and d_(i) is the distance between a child or sub-constituent and the i-th occurrence of the atomic search term.
 12. The method of claim 11, wherein the distance between a child and an occurrence of the atomic search term is a selected one of a maximum, a minimum or an arithmetic mean of the distances between the child and sub-parts of the atomic search term.
 13. The method of claim 8, wherein the generating further comprises calculating D by calculating a selected one of an arithmetic mean, a median or a geometric mean of relevance values assigned to children of the aggregate.
 14. The method of claim 13, wherein each generating further comprises calculating Δ by setting Δ=1 if D=0, and setting Δ=1−AAD/(2*D) if D≠0, where AAD is an absolute average deviation from D of the relevance values assigned to children of the aggregate.
 15. The method of claim 14, further comprising selecting one or more advertisements to be provided in conjunction with a conditionally provided content page or a portion of a content page, the selecting of an advertisement comprising determining relative relevance of the advertisement to the conditionally provided content page or portion of the conditionally provided content page, and the determining including scoring the advertisement for relative relevance to the conditionally provided content page or the portion of the conditionally provided content page to one or more search expressions associated with the advertisement.
 16. A machine implemented method comprising: receiving by a search engine, from a content searching or consuming application, a search expression having a first and a second proximally associated atomic sub-expression, the search engine and the content searching or consuming application being operated on one or more different or same computing devices; receiving a content page nominally associated with the search expression, or access information of the content page, by the search engine; generating in response, by the search engine, one or more scores for one or more structures of the content page indicative of relative relevance of the content page or one or more portions of the content page to the search expression, wherein a structure includes substructures, wherein the generating of a score for a structure is based at least in part on a distance function and a scoring function, wherein the distance function measures distances between sub-structures within the structure being scored to facilitate determining of mutual relevance of occurrence positions, and wherein the scoring function is positionally sensitive, yielding different scores for at least a first and a second situation where the distance between the occurrence positions of the first and second proximally associated atomic sub-expressions is same in both the first and second situations, when the occurrence positions of the first proximally associated atomic sub-expression have no category membership or same category membership in the first and second situations, and the occurrence positions of the second proximally associated atomic sub-expression have no category membership or same category membership in the first and second situations; and conditionally providing or not providing the content or one or more portions of the content, or access information of the content or one or more portions of the content, to the content searching or consuming application, by the search engine, based at least in part on the generated one or more scores; wherein the generating of a score for a structure further includes establishing a bound on a number of children content nodes considered for each content node or a bound on a size of each of the text strings considered; and wherein the generating of a score for a structure further includes establishing one or more criteria on sub-structures according to which sub-structures of the structure will be considered or not.
 17. The method of claim 16, wherein either or both of the first and second atomic sub-expressions comprises a plurality of words.
 18. The method of claim 16, wherein the first and second atomic sub-expressions are proximally associated explicitly by a proximity operator.
 19. The method of claim 18, wherein the proximity operator comprises a selected one of ##, % % or ˜, where ## denotes proximately located, %% denotes proximately disjointed, and ˜ denotes proximately complementary.
 20. The method of claim 16, wherein the content page comprises one or more web pages of one or more web applications, one or more XML documents in one or more XML repositories, one or more documents in one or more document corpora, or one or more database objects in one or more databases.
 21. The method of claim 16, wherein the structure comprises one or more strings of words, markup strings, trees corresponding to parsed markup, database records or database objects.
 22. The method of claim 21, wherein the structure comprises a tree corresponding to parsed markup of the content, annotated with measurement information derived from layout structures associated with the content.
 23. The method of claim 16, wherein the search expression further comprises a third atomic sub-expression proximally associated with the proximally associated first and second atomic sub-expressions, and the generating being associatively sensitive yielding different scores for different associations of the proximally associated first, second and third atomic sub-expressions.
 24. The method of claim 16, wherein the content page comprises a plurality of constituents, and the generating of one or more scores comprises generating one or more scores for one or more atomic ones of the constituents, one or more aggregate ones of the atomic constituents, one or more aggregates of the aggregates, or one or more aggregates of the aggregates and atomic constituents.
 25. The method of claim 24, wherein the generating of scores for an aggregate comprises calculating (a) a deviation score of the search expression, and (b) for each sub-expression of the search expression, a density and a relevance center of the sub-expression, for the aggregate, the calculating being performed using at least relevance geometry of the aggregate, one or more deviation scores of the search expression of each child of the aggregate, and a density of each sub-expression of the search expression for each child of the aggregate, wherein the density is bounded asymptotically as a function of text length.
 26. The method of claim 25, wherein the generating for an aggregate comprises calculating an overall score for the aggregate as a match for the search expression by calculating c₁*D+c₂*Δ+c₃*ρ, where D is a density of the search expression on the aggregate,Δ is a distribution score for the search expression on the aggregate, ρ is the r-value for for the search expression on the aggregate, and c₁ , c₂, and c₃ are non-negative real numbers such that c₁*c₂+c₃≦1, wherein (Σ_(1≦i≦m)(c_(i)*P_(i) ^(e) ^(i) ))*Π_(m+1≦i≦n) P_(i) ^(e) ^(i) provides the overall score, P₁, . . . ,P_(m) being beneficial properties and P_(m+1), . . . , P_(n) being detrimental properties.
 27. The method of claim 25, further comprising assigning relevance geometry to the aggregate, including assigning relative sizes to children of the aggregate, assigning relative distances between children of the aggregate or correlating distances within children of the aggregate with distances between children of the aggregate.
 28. The method of claim 25, wherein the generating for an aggregate comprises calculating the density as (Σ_(1≦i≦n)(A_(i)*v_(i)))/(Σ_(1≦i≦n)A _(i)), where n is the number of children of the aggregate, A_(i) is a relevance size of the i-th child of the aggregate, and where v_(i) is a relevance value for the searched expression assigned to the i-th child of the aggregate.
 29. The method of claim 25, wherein the generating for an aggregate comprises calculating a relevance center of matches for the search expression for the aggregate by calculating (Σ_(1≦i ≦n)(A_(i)*v_(i)*P_(i)))/(Σ_(1 ≦i ≦n)(A_(i)*v_(i))), where n is a number of children of the aggregate, A_(i) is the relevance size of the i-th child of the aggregate, v_(i) is the relevance value for the search expression assigned to the i-th child of the aggregate, p_(i) is a position of the relevance center for the search expression for the i-th child of the aggregate in a space corresponding to the aggregate.
 30. The method of claim 25, wherein the generating for an aggregate comprises calculating a pre-normalized relevance value of a search sub-expression of the search expression for a child of the aggregate, the search sub-expression having a plurality of proximally associated sub-expressions, from previously calculated densities and relevance centers of the proximally associated sub-expressions for children of the aggregate, and from previously calculated pre-normalized relevance values for the individual sub-expressions for the children of the aggregate.
 31. The method of claim 30, wherein the calculating of a pre-normalized relevance value of a search sub-expression of the search expression for a child of the aggregate, comprises calculating (P+Σ _(1≦i≦k) W _(i) ^(m)−Σ_(1 ≦i ≦k)(Π_(1≦j≦m) w _(i,j)))^(1/m), where k is a number of children of the aggregate, P is a product of the pre-normalized relevance values of the individual sub-expression for the child, W_(i) is A_(i)*D_(i)/(1+d_(i))^(x), where x is a distance attenuation exponent, A_(i) is a relevance size of the i-th child of the aggregate, D_(i) is a density of the proximally associated sub-expressions in the i-th child of the aggregate, and d_(i) is relevance distance between a relevance center of the child and a relevance center of the proximally associated search sub-expressions in the i-th child of the aggregate; and w_(i,j) is A_(i)*D_(i,j)/(1+d_(i,j))^(x), where x is a distance attenuation exponent, A_(i) is a relevance size of the i-th child of the aggregate, D_(i,j) is a density of the i-th sub-expression in the i-th child of the aggregate, and d_(i,j) is relevance distance between a relevance center of the child and a relevance center of the i-th search sub-expression in the i-th child of the aggregate.
 32. The method of claim 25, wherein the generating for an aggregate comprises calculating a relevance value for a search sub-expression of the search expression for a child of the aggregate, the search sub-expression having a plurality of proximally associated search sub-expressions, from a pre-normalized relevance value v for the proximally associated sub-expressions for a child, by calculating v/(Σ_(1≦i≦k)(A _(i)/(1+d _(i))^(x))), where k is the number of children of the aggregate, x is a distance attenuation exponent, A_(i) is a relevance size of the i-th child of the aggregate, and d_(i) is the minimum relevance distance between constituents of the child and constituents of the i-th child of the aggregate.
 33. The method of claim 25, wherein the generating for an aggregate comprises assigning a relevance value for a child of the aggregate for a plurality of disjointed sub-expressions of the search expression, to a maximum of a number of relevance values previously calculated or assigned to a child of the aggregate for the sub-expressions.
 34. The method of claim 25, wherein the generating for an aggregate comprises assigning a relevance value for a child of the aggregate for a complement of a sub-expression of the search expression, with 1 minus a relevance value previously calculated or assigned to a child of the aggregate for the sub-expression.
 35. The method of claim 25, wherein for an aggregate corresponding to a region and children of the aggregate corresponding to sub-regions of the region, the generating for the aggregate comprises calculating a relevance center of matches for the search expression for the aggregate by calculating x=(Σ_(1≦i≦n)(A _(i) *v _(i) *x _(i)))/(Σ_(1≦i≦n)(A _(i) *v _(i))), and  (a) y=(Σ_(1≦i≦n)(A _(i) *v _(i) *y _(i)))/(Σ_(1≦i≦n)(A _(i) *v _(i))),  (b) where n is the number of children of the aggregate, A_(i) is the relevance size of the i-th child of the aggregate, v_(i) is the relevance value for the search expression assigned to the i-th child of the aggregate, x_(i) is x-coordinate of the relevance center for the search expression for the aggregate, y_(i) is y-coordinate of the relevance center for the search expression for the aggregate, x_(i) is x-coordinate of the relevance center for the search expression for the i-th child of the aggregate, and y_(i) is y-coordinate of the relevance center for the expression for the i-th child of the aggregate.
 36. An apparatus, comprising: one or more processors; means, operated by the one or more processors, for receiving from a content searching or consuming application, an atomic search term; means, operated by the one or more processors, for receiving a content page nominally associated with the atomic search term, or access information of the content page; means, operated by the one or more processors, for generating in response, one or more scores for one or more structures of the content page indicative of relative relevance of the content page or one or more portions of the content page to the atomic search term, wherein a structure includes substructures, wherein generation of a score for a structure is based at least in part on a distance function and a scoring function, wherein the distance function measures distances between sub-structures within the structure being scored to facilitate determining of mutual relevance of occurrence positions, and wherein the scoring function is positionally sensitive, yielding different scores for at least some different occurrence positions of the atomic search term in substructures of the structure being scored, irrespective of substructure category memberships; and means, operated by the one or more processors, for conditionally providing or not providing the content or one or more portions of the content, or access information of the content or one or more portions of the content, to the content searching or consuming application, based at least in part on the generated one or more scores; wherein generation of a score for a structure further includes establishment of a bound on a number of children content nodes considered for each content node or a bound on a size of each of the text strings considered; and wherein generation of a score for a structure further includes establishing one or more criteria on sub-structures according to which sub-structures of the structure will be considered or not.
 37. A tangible, non-transitory computer-readable storage medium comprising programming instructions configured, in response to execution of the programming instruction by an apparatus, to cause the apparatus to: receive from a content searching or consuming application, an atomic search term; receive a content page nominally associated with the atomic search term, or access information of the content page; generate in response, one or more scores for one or more structures of the content page indicative of relative relevance of the content page or one or more portions of the content page to the atomic search term, wherein a structure includes substructures, wherein generation of a score for a structure is based at least in part on a distance function and a scoring function, wherein the distance function measures distances between sub-structures within the structure being scored to facilitate determining of mutual relevance of occurrence positions, and wherein the scoring function is positionally sensitive, yielding different scores for at least some different occurrence positions of the atomic search term in substructures of the structure being scored, irrespective of substructure category memberships; and conditionally provide or not provide the content or one or more portions of the content, or access information of the content or one or more portions of the content, to the content searching or consuming application, based at least in part on the generated one or more scores; wherein generation of a score for a structure further includes establishment of a bound on a number of children content nodes considered for each content node and/or a bound on a size of each of the text strings considered; wherein generation of a score for a structure further includes establishing one or more criteria on sub-structures according to which sub-structures of the structure will be considered or not.
 38. An apparatus comprising: one or more processors; means operated by the one or more processors, for receiving from a content searching or consuming application, a search expression having a first and a second proximally associated atomic sub-expression; means operated by the one or more processors, for receiving a content page nominally associated with the search expression, or access information of the content page; means operated by the one or more processors, for generating in response, one or more scores for one or more structures of the content page indicative of relative relevance of the content page or one or more portions of the content page to the search expression, wherein a structure includes substructures, wherein generation of a score for a structure is based at least in part on a distance function and a scoring function, wherein the distance function measures distances between sub-structures within the structure being scored to facilitate determining of mutual relevance of occurrence positions, and wherein the scoring function is positionally sensitive, yielding different scores for at least a first and a second situation where the distance between the occurrence positions of the first and second proximally associated atomic sub-expressions is same in both the first and second situations, when the occurrence positions of the first proximally associated atomic sub-expression have no category membership or same category membership in the first and second situations, and the occurrence positions of the second proximally associated atomic sub-expression have no category membership or same category membership in the first and second situations; and means operated by the one or more processors, for conditionally providing or not providing the content or one or more portions of the content, or access information of the content or one or more portions of the content, to the content searching or consuming application, based at least in part on the generated one or more scores; wherein generation of a score for a structure further includes establishment of a bound on a number of children content nodes considered for each content node or a bound on a size of each of the text strings considered; and wherein generation of a score for a structure further includes establishing one or more criteria on sub-structures according to which sub-structures of the structure will be considered or not.
 39. A tangible, non-transitory computer-readable storage medium comprising programming instructions configured, in response to execution of the programming instruction by an apparatus, to cause the apparatus to: receive from a content searching or consuming application, a search expression having a first and a second proximally associated atomic sub-expression; receive a content page nominally associated with the search expression, or access information of the content page; generate in response, one or more scores for one or more structures of the content page indicative of relative relevance of the content page or one or more portions of the content page to the search expression, wherein a structure includes substructures, wherein generation of a score for a structure is based at least in part on a distance function and a scoring function, wherein the distance function measures distances between sub-structures within the structure being scored to facilitate determining of mutual relevance of occurrence positions, and wherein the scoring function is positionally sensitive, yielding different scores for at least a first and a second situation where the distance between the occurrence positions of the first and second proximally associated atomic sub-expressions is same in both the first and second situations, when the occurrence positions of the first proximally associated atomic sub-expression have no category membership or same category membership in the first and second situations, and the occurrence positions of the second proximally associated atomic sub-expression have no category membership or same category membership in the first and second situations; and conditionally provide or not provide the content or one or more portions of the content, or access information of the content or one or more portions of the content, to the content searching or consuming application, based at least in part on the generated one or more scores; wherein generation of a score for a structure further includes establishment of a bound on a number of children content nodes considered for each content node or a bound on a size of each of the text strings considered; and wherein generation of a score for a structure further includes establishing one or more criteria on sub-structures according to which sub-structures of the structure will be considered or not. 